Oh hey, I sold them that github account name for 0.11 BTC. They obviously had deep pockets but I wondered whether they'd end up having any success.