Oh, yes. I was thinking in terms of GitHub account. On that basis, it can stay :)