@atomicpoet The bit that ticked me off at the time was they said they just couldn't keep the source open - 'too much effort', or some nonsense, as if pushing to a public git repo were challenging.