I wrote:
>> This patch provides DROP ... IF EXISTS for user/group/role.>> If there's no objection I will apply it soon and document it.>
There wasn't so I did.
cheers
andrew