Check here: https://meta.discourse.org/t/best-way-to-customize-top-menu/35336/3
(have not used this myself, assuming it still works - bookmarked it for future use 
)
Check here: https://meta.discourse.org/t/best-way-to-customize-top-menu/35336/3
(have not used this myself, assuming it still works - bookmarked it for future use )