Provide the old versions of the user guide as well

[jm-g]

It would be really helpful to have the user guide of 3.1.0 or 3.0.0 still available. Perhaps even with a switcher like here https://www.postgresql.org/docs/12/index.html