On Tuesday, July 13, 2021 11:27:03 AM Stefan Monnier wrote: > BTW, for those who don't want to run their own server, there are still > other reasons to avoid Github: my rule is to try and opt for the > underdog so as to foster competition. +1