Content-specific menu

Example of adding menu item to give users a choise of configuration.

Last modified May 7, 2020: Tweaking menu (3eeef3c)