what is this still doing here
unused
unused
feed more important than github
bold new direction
worked out an acceptable header to handle blog vs projects
switched main section to a main element
Some fixes for gists, and for ordered lists generally
okay, temporarily hiding nav bar