I have enabled "Top panel hiding". The Top panel does hide after the timeout - but NOT if the Record menu line (which pops up above the bottom command line) is shown. The Top panel never hides in this case. As soon as I cross out the Record menu line, the Top panel hides again as expected after the timeout. I guess this is not the intention.