Has @randallmunroe actually OKed this license specifically for the font?