Fixes #11805 with docs mention of navbar