The following documentation comment has been logged on the website:
Page: https://www.postgresql.org/docs/10/static/sql-alterserver.html
Description:
I found that the alter server statement below does not work:
ALTER SERVER foo OPTIONS (host 'foo', dbname 'foodb');
but this does:
ALTER SERVER foo OPTIONS (set host 'foo', set dbname 'foodb');