TIL that there’s an unofficial way to make headings in gophermaps. Too bad few clients support it. Mostly just Pocket #Gopher for Android.