Maybe we should check for `@doc false` here?