...
2. Do a global Vector font stack.  Initially, I would recommend we just
use the body stack (which is really the subject of the bug), and
consider the heading later.

I think #2 is the right direction, and I recommend we get serious about
it.  But if people don't think we can do #2 in a reasonable period of
time, we should do #1.