Tag alias discussion: interlocked_arms <-> locked_arms

First, I want to note that I did not create formal request because I'm not sure which direction the alias should go.

alias interlocked_arms <-> locked_arms

Both tags are used very similarly as far as I can see. Interlocked arms seems more intuitive to me, but locked arms is more widely used and also has several other tags aliased to it already.

There is also armlock tag, but it is used for wrestling situations. What's interesting, arm_lock is currently aliased to locked_arms.

Locked_arms is more common, so the alias should go to that. As for arm_lock, I guess that should be aliased to armlock instead. A wiki entry for armlock wouldn't hurt, either.

create alias interlocked_arms -> locked_arms

Link to request

I know that locked_arms is more common (though this might be the result of tags aliased to it rather than user preferences). I've just thought that interlocked_arms is a better name for the tag.

Basically, the question I wanted to ask is what tag name would be preferable, and in case people agree with me, if it isn't too much of a hassle to redirect aliases to interlocked_arms.

Edit:
Another argument in favour of using interlocked_arms is that it would be consistent with other tags like interlocked_fingers and interlocked_toes.

The bulk update request #619 has been approved.