Move some extraneous documentation to docs/.