The button which typically says either "Auto Paused" or "Running" is a visible pause button. But since it has 3 states, it shows the current state rather than its purpose. I won't put controls in the description, as that won't help people playing on Steam once it releases there, but I will add a (P) suffix to the button to indicate the hotkey, and consider adding a tooltip to give a more detailed description of it.
Just like the derelict rover, the option to go to the mining wing is removed once you've done everything there. But that includes going back once after completing it and looping, to see what (if anything) has changed.