duplicate "is" - i am unsure if we should keep this note. as reader i do not care where the doc comes from. maybe generate an .rst comment that is not rendered that this is generated and how to regenerate? i agree we need to prevent getting manual PRs on this document.