Some hotkeys like ctrl+p aren't documented anywhere

I wanted to learn how to turn off the background music but couldn't find out how. On Discord I learned about the hotkey ctrl+p for doing this. This hotkey is not documented in the ingame options nor on the wiki. This hotkey and others like it should be documented.