This is cool and I hope they don’t run into copyright issues with the domain, which they probably will. Trademark lawyers basically have to go after violations otherwise they risk losing control of the mark. Maybe GitHub could be nice and license it to the project for free.