I realize SBCL predates this folly, but I always regard things hosted on sourceforge with hesitancy after that sketchy ownership period. I'm surprised so many

I realize SBCL predates this folly, but I always regard things hosted on sourceforge with hesitancy after that sketchy ownership period. I'm surprised so many projects stuck with it, especially since their VCS servers were so slow during that time, too.