More cleanup

I realized that GitHub would unattribute Michael and Alex's commits so
I added their name to the top of the cheatsheet. Probably a decent idea
to do that for now just to keep track of who is doing what.