Tweak header formatting, esp for phones; new github treatment