Make all annotations @Documented, and document them as well