It is great that you can switch on any page in the documentation to the documentation of another release of PostgreSQL. That is extremely helpful if you are working with different versions.