Shouldn't this
https://www.postgresql.org/docs/10.0/static/index.html
rather be
https://www.postgresql.org/docs/10/static/index.html
?
-- Peter Eisentraut http://www.2ndQuadrant.com/PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services