This is really neat, thanks for sharing! To my recollection, I did actually come across GFXFont during my investigations on how to handle font exports, but I wasn't aware of the existence of any online tools which exported to that format.