Comment by SansGuidon

It's now inactive-user on lobsters but it does not matter much anymore. I had changed my username few times on Lobsters.