This patch provides DROP ... IF EXISTS for user/group/role.
If there's no objection I will apply it soon and document it.
cheers
andrew