What are the implications of a GPL'd font? In particular, does merely using it within a program invoke the copyleft requirements? Or does that fall under the document use exception per the webpage?