[paulgb]

There are ~750k people in that Reddit community, it wouldn't surprise me if by coincidence it happened to bunch of them the a domain was registered between when they searched it and decided to buy.