The contract, basically, attributed the copyright to the vendor, who only conferred usage right to the government and the citizens. This is a mistake that we will not repeat. At the moment, we don’t have the legal recourse for the current generation of plugin systems to be relicensed as free software. I tried. [laughs]