FAQ for ALTER TABLE is outdated
(1) By Wolfgang Oertl (w.oertl) on 2021-07-27 22:57:07 [link] [source]
The FAQ entry doesn't mention the ability to do RENAME COLUMN and DROP COLUMN.
(2) By Larry Brasfield (larrybr) on 2021-07-27 23:10:06 in reply to 1 [source]
You're right, and that shortcoming will soon vanish. Thanks.