Header lens sometimes disappears and appears and creates annoying height flickering

Possible ways to fix it:
* remove Header lens completely
* find a way to always display it
* do it outside of monaco