Thanks!
Just FYI, there’s some font discussion going on here that you might be interested in. Also, some older, but related font discussion here.