I believe that I typed some keyboard combination in a fullscreen app to hide the top menu bar. Methinks it were Adobe Reader, but uncertain at this point
Actually even that did not do what was intended: it just put blank space where the menu bar had been - it did not reclaim that space for anything useful.
Now the menubar is gone for all apps.
Any way to unhide it?