Postgres でユーザマップの情報を変更する

外部データラッパー使ってて、接続ユーザのパスワードを設定し忘れた。

公式ドキュメントの例には

--サーバfooのユーザマップbobのパスワードを変更します。
ALTER USER MAPPING FOR bob SERVER foo OPTIONS (user 'bob', password 'public');

って書いてあるけど、嘘じゃねーか。

ERROR: option "bob" provided more than once Error

ERROR: option "bob" provided more than once SQL state: 42710

本当は

--サーバfooのユーザマップbobのパスワードを"追加"
ALTER USER MAPPING FOR bob SERVER foo OPTIONS (add password 'public');

--サーバfooのユーザマップbobのパスワードを"変更"
ALTER USER MAPPING FOR bob SERVER foo OPTIONS (set password 'public');

よく読みます、ごめんなさい。