Hello, we encountered a problem: after deleting a user in the database, some extensions were left without an owner and now there is no way to update/delete/change their owner since there is no superuser.Postgres lacks "ALTER EXTENSION OWNER TO" funct...