Yup, only paver-generated docs are now in paver. This will change in future. Maybe. Hopefully. Really!