I gave it a try and it seems that their old username is in available for using it again.

micgoossens - https://bitcointalk.org/index.php?action=profile;u=2744287