mod_menu: added filter 'menu_is_visible'.
Also some minor doc corrections.