relicensing from Expat to ISC (more laconic license)