It’s done. I’ve sold the crossroads.net domain.