fixup! gen_doc: insert 'generated file' notice