One hotkey for pausing is all it takes. The real question is: do the devs want to let us pause or not?

Unless otherwise specified, just an opinion or simple curiosity.