Thanks for the link to the pull request. The benefit you stated was "I find this most useful since I can quickly jump back to a namespace, or search etc.". I th

Thanks for the link to the pull request. The benefit you stated was "I find this most useful since I can quickly jump back to a namespace, or search etc.". I think that 7.12 allows this by always showing the namespace and search on top. Please let me know if I misunderstand.