Thread:Project:Support desk/How to change the list of options in the TOOLS menu of the Nav Bar