Decide whether to offer GPL-3 as a license option, also.  Currently we offer
only GPL-2.