On Tue 13 Jul 2021 at 15:38:26 -0400, rhkramer@gmail.com wrote: > 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 You are apparently well up in this field. Is there a particular udderdog you would recommend? -- Brian.