bug#14574: prog-prettify-symbols breaks font-locking

[Eli Zaretskii]

> From: Juanma Barranquero <lekktu@gmail.com>
> Date: Mon, 17 Jun 2013 18:24:11 +0200
> Cc: Kenichi Handa <handa@gnu.org>, 14574@debbugs.gnu.org
> 
> I'm assuming that we usually go for fixing real problems versus
> perceived ones.

Let's see...  You examine a bridge and discover that one of its
supports is shaky, and will probably not hold when the next storm
comes.  Is that a real problem or a perceived one?  ;-)