Community account deletion

Hi folks,

A while back I created a separate community account for trying to re-add
the PostgreSQL mailing lists to GMANE, the mailing-list-to-NNTP gateway.
But I couldn't get that to work due to the subscription confirmation
dance for the lists, so I abandonded the attempt.

In a fint of neatnikism I'd like to delete that account, but I can't
find a way of doing that on https://www.postgresql.org/account/.

Could someone please delete the accout for me? The username is 'gmane',
and the associated email address is ilmari+gmane@ilmari.org.

Thanks,

- ilmari