There was no good reason why Determinism.v was the only file in common/ that was not dual-licensed (GPL + noncommercial).  Plus, it simplifies the wording of the LICENSE file.