Formatting tweaks.
Gets rid of /docs, which should reside only in gh-pages.