Remove no-long-necessary htmlMenu option in menu extension, #122