https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123245
--- Comment #2 from sandra at gcc dot gnu.org --- Moving all the --param documentation to the internals manual sounds good to me, too. Documenting them all in the user manual mostly just adds a lot of verbosity that is not helpful to most readers.
