Fix up docs after moving repo.