* commit '36dea890574aece320b3aa780900456391c31ddd': Fix issue #5398675: It's (too) easy to keep the navigation bar...