Replace symbol font tags with Greek HTML entities (2015-11-05)
Responding to the problem of <font face="symbol"> not working in Firefox, as illustrated in http://forums.mozillazine.org/viewtopic.php?f=38&t=2970257