Look at [diff.cpp17.library], [diff.cpp14.library], [diff.cpp03.library] We need a similar section [diff.cpp20.library] to announce new headers and removed headers. Do we have a list somewhere? @tkoeppe , @jwakely FYI