I don’t agree with the assertion made in the article but if they did use a font without securing permission I somehow doubt Shor would want to admit that, so sometimes you do need something other than a first party source.