Merge branch 'doc-CheckIncludeFile-distinction' into release