For menus, buttons, and instructions. Your learning content stays in English.
A person who penalizes others for their bad actions.
“The punisher chased down the wrongdoers in town.”