more github header tweaks