Thank you, but I'm not familiar with the search mechanism. I happened to see two other accounts with the same name just now, with usernames "Antares" and "Antares3" respectively. The latter was created to give feedback on the former, but it's obvious that I forgot about all of them when I created my current account.