[docs/introspection] Some more annotations