AFAICT, F4 allows to open the terminal but doesn’t hide it. It would be nice to be able to hit F4 a second time to hide it, a third time to bring it back and so on.

(Unlike in e.g. Dolphin, I’m not suggesting that it should send an EOF and kill the current terminal, merely that it could be hidden and shown again.)