Good on them, although I'd rather them hold out even with legal pressure, but that probably becomes a somewhat existential problem.

Hadn't heard of them until today, sounds like an alternative to Kali Linux plus dev tools.