top_navigation_bar - remove "problems" text
top_navigation_bar - remove "problems" text

Number of problems is now just the number without the text "numbers"

zengzhaozheng/adagios,kaji-project/adagios,kb2ma/adagios,zengzhaozheng/adagios,zengzhaozheng/adagios,opinkerfi/adagios,kaji-project/adagios,kb2ma/adagios,kb2ma/adagios,kb2ma/adagios,opinkerfi/adagios,zengzhaozheng/adagios,kaji-project/adagios,opinkerfi/adagios,kaji-project/adagios,opinkerfi/adagios