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.

Steven Walling,

Product Manager