Major rewrites to documentation