Hi @GaryAitken
Most of the Galaxy resources are hosted from Github with a link at the top (suggest edit or correction) and an issue ticket can be opened instead of a PR at the same board.
However – these docs are maintained by the project committers, so it is a bit special. We can discuss the potential mistake here if you want to. Or, you can go over to the Admin chat at Matrix and ask questions.
Either way fine and we can cross link as needed. In general, this forum is always a good place to get things started. 