https://gcc.gnu.org/bugzilla/show_bug.cgi?id=30123
--- Comment #5 from Eric Gallager <egallager at gcc dot gnu.org> --- (In reply to Jürgen Reuter from comment #4) > This seems like one of these documentation tasks which is in principle very > easy to do but nobody is motivated to do.^^ Indeed.