minor github layout tweak