[galaxy-user] BioStar integration - merging accounts

Hi all, I see that https://biostar.usegalaxy.org is live now, with lots of content mined from the galaxy-user mailing list (which may or may not result in this email starting a new question? We shall see...). Is it possible for an admin to merge accounts? e.g. there are all me: https://biostar.usegalaxy.org/u/333/ - old ISP based email address https://biostar.usegalaxy.org/u/337/ - old ISP based email address https://biostar.usegalaxy.org/u/394/ - my Google mail address Thanks, Peter