@ExposedType should be @Documented, because it's relevant for users to know and shouldn't require reading the source code. Same for @ExposedMethod etc. I self fell for this in #387 (comment) where I suggested the wrong method even after looking into API docs. I might have noticed it easier if @ExposedType and @ExposedMethod were not hidden by default, which is a consequence of being considered not @Documented. (In the APIdia docs one can force-show annotations which are not @Documented via a filter in the top-right menu. Conventional Javadoc excludes them completely.)
@ExposedTypeshould be@Documented, because it's relevant for users to know and shouldn't require reading the source code. Same for@ExposedMethodetc. I self fell for this in #387 (comment) where I suggested the wrong method even after looking into API docs. I might have noticed it easier if@ExposedTypeand@ExposedMethodwere not hidden by default, which is a consequence of being considered not@Documented. (In the APIdia docs one can force-show annotations which are not@Documentedvia a filter in the top-right menu. Conventional Javadoc excludes them completely.)