Docs, fixups, and prettification