Replace the escapeHTML() by a more efficient one
Merge pull request #342 from dbbrian/firefox_crash_despite_playpen_timeout

Replace the escapeHTML() by a more efficient one