Tag alias: push_down -> pinned

create alias push_down -> pinned

Link to alias

These don't seem to be quite the same. pinned can be also used for pinning someone else against a wall like post #1672039 or post #1752511. But push_down is only for pushing someone down onto the ground.

The tag alias push_down -> pinned has been rejected.