For menus, buttons, and instructions. Your learning content stays in English.
a person who jokes or teases others playfully
“The office kidder always made us laugh on game night.”