Right, that probably should have been: > > that would constitute a GPL violation on the part of the government [if the government were the ones distributing it

Right, that probably should have been: > > that would constitute a GPL violation on the part of the government [if the government were the ones distributing it] [...] It would be nice to close this loophole (prevent or at least disincentivise the goverment from making such laws), but it's not clear how that could be accomplished.