@typhonic@sagemath Yeah this is why I'm disappointed in free resources (some of which I mentioned above) that aren't e.g. MIT licensed; if they were, the community could take over development on an open source branch even if the main product was made proprietary.