Add settings option in the hamburger menu
The settings option was removed from the sidebar in a recent change, this commit adds it back as an option in the hamburger menu. :^)
The settings option was removed from the sidebar in a recent change, this commit adds it back as an option in the hamburger menu. :^)