Intros.g -> Intros.autodoc