alias leaning_on_arm to arm_support

BUR #10625 has been rejected.

create alias leaning_on_arm -> arm_support

The name arm support may be slightly obscure. This alias could be helpful to newcomers. This wouldn't change any existing tags, as "leaning_on_arm" doesn't exist.

SlickKilmister said:

This wouldn't change any existing tags

It will, however, displace leaning_on_person as the top autocomplete result for "leaning on", which is something that tends to happen when we create aliases to very large tags (see topic #18912). Every utility alias comes with a cost.

iridescent_slime said:

It will, however, displace leaning_on_person as the top autocomplete result for "leaning on"

Good point, I didn't think about that. leaning_on_person is a somewhat regularly used (3004 posts), with ~2 uploads a day for the past two week. In my opinion not a dealbreaker in this case, but I'm not calling the shots around here.

i might be less opposed if it was leaning_on_own_arm

leaning_on_arm would make me wonder whether it's meant for using someone else's arm as a pillow, for example

bipface said:

i might be less opposed if it was leaning_on_own_arm

Fine with me. I can see how that could prevent some confusion.

The bulk update request #10625 (forum #214166) has been rejected by @nonamethanks.