Add a doc string for add-extra-docs!