Thread:Tacocat247/@comment-32831976-20170812081824/@comment-28083312-20170812213945

The “official” term would be “navbox,” but you could accurately call that a greeting :)