rename menu pages, hide servers from menu, remove unused attr in HTML