On Fri, Dec 20, 2013 at 3:30 PM, Jon Robson jdlrobson@gmail.com wrote:
Sorry to be clear - this was not suggesting removing Georgia, just swapping out the free font choice.
Ah, sorry. Well my only question then is whether it's common enough to replace DejaVu serif then.