Re: MirOS: "New GitHub Terms of Service /require/ removing many Open Source works from it"