Toks almost 5 years ago 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.
