Re: License correction: wlcs is “GPLv3”, not “GPLv2 or GPLv3”