to bore:
1- to pierce with a turning or twisting movement of a tool;
e.g. bore a wooden post
2- to make by boring or digging away material;
e.g. bored a tunnel; use a drill to bore a hole through the board
Source: Merriam-Webster.com
Compass pointing to the ladder, either given by default or as an upgrade. It gets easy to get lost as the mine expands.
Problem is, the buttons are so big they cover up the button you need to press to shrink them. Consider defaulting the button size to something smaller.