clarify situation re: extra-doc-files