For menus, buttons, and instructions. Your learning content stays in English.
a pitcher who replaces another during a baseball game
“The coach called a reliever to finish the game.”