Navigation links inside a module seemed to move under "Settings cog" in Moodle modules.
However, maintaining our plugins, I can't find a way to get this big cog wheel appearing on "view" page of my module.
Unfortunately, the documentation on https://docs.moodle.org/dev/Boost_Navigation says just "These functions will (only on certain pages) add all the nodes from the settings nav tree into a flat menu. ... The "only on certain pages" mentioned above means ... TODO"
So, how can I make my page one of these blessed "certain pages"?