leave a marginpar about the file not being annotated in the manual