Although the end-problem that this would solve is a TeX one (installing a new font for PDF output), this particular solution that I'm looking for is a Sphinx is
idm
payara-micro
sum-type
websphere-commerce
ti-nspire
python-django-storages
artifacts
azure-dsvm
sql-server-2014-express
colon-equals
boost-hana
tsickle
return-code
java-18
diffie-hellman
android-pdf-api
impala
bn254
frisby.js
jwt-auth
build-events
atlaskit
web-deployment
rust-rocket
ubiquitycontainer
duplication
statements
modified-preorder-tree-t
android-settings
rapid7
