Install an extension to hide it, I just tried this and it works for me: https://extensions.gnome.org/extension/545/hide-top-bar/
You can install extensions by searching for it in the GNOME extensions manager. Once installed, you can edit the settings in the same place (I found I had to move off the window to another application before hiding was applied).












I liked Speaker for the Dead! I can’t remember what it was about but I remember liking it.
A very different book from Ender’s Game though.