mention documentation tools in the summary; tidy up formatting