//! The dashboard settings sub-nav, described. //! //! Shape 2, step 4 (`6b24f2df`), and the fourth described strip. Unlike the //! three before it this one is a strip inside a panel: `user_settings.html` is //! itself the Settings tab of the user dashboard, whose own strip is step 5. //! //! # It did not look like a tab strip, and it is one //! //! `