So this seems to make open-source software aboard a spacecraft illegal. At least the software specifically intended for spacecraft operation. That's a shame.