alias arm_over_shoulder -> arm_on_shoulder

BUR #9981 has been rejected.

create alias arm_over_shoulder -> arm_on_shoulder

These are used interchangeably. If they aren't equal, they need wiki definitions.

Why do we need either of those tags when arm_around_shoulder exists?

There might be some other use for them.
arm_on_shoulder - post #5085778
arm_over_shoulder - post #5085417, post #3221715

BUR #9994 has been rejected.

deprecate arm_over_shoulder

Commonly mistagged. Less useful than arm_over_head

I wrote a disambiguation page for arm_over_shoulder. Have a look.

Should I reject these for now?

The bulk update request #9981 (forum #211025) has been rejected by @ppp_laivu_stato.

The bulk update request #9994 (forum #211075) has been rejected by @ppp_laivu_stato.