Since the C++20 named modules won't check source files consistency after 5b388f86, it would be better to remove this section in the document.