Docs summary

@charlierudolph 
They have to be lower case because some of them are command-line commands. Also, I think it is modern. I know we are culturally in a retro phase, but I'm a modern guy  :)

More seriously, if you feel strongly about it, I can change it.