From Aptos to Helvetica—here’s how fonts get their unusual names