@SuperDicq Yes, if github was to ever actually delete any software, that would be an obstacle to the plan of collecting a bunch of software, shoving it through a in-exact heuristic compression program and having that program vomit out verbatim or combined parts, for integration with proprietary software.