Mechanically check documentation of GHC flag implications
In #24253 (closed) we found that a flag was added to -Wdefault
yet the documentation was not amended. This is likely neither the first nor last time that this has happened. We should see to it that this is mechnically checked.