Incidentally, if I were extremely nitpicky about it looking professional, I'd have a thing about wanting to put Harmy's real name there. However, 1) again, that doesn't help people find it online and 2) Harmy may appreciate his anonymity, given the whole underground nature of this sort of thing.
Then again, I do know what Adywan's name is.
But it's probably really rude to ask, so I'll just leave it "Harmy".