Tech bleg: fonts edition

Edit: post deleted — problem solved! Many thanks to alert reader R.S. for pointing me to the necessary software.