[stevenschmatz]

I found that through some careful sleuthing, you can find pretty much any font committed to open-source repositories. So now I have a command-line tool to get any font I want (for personal use only).