do not escape phpdoc
hide too long navigation items for now