Documentation: Only works when `font-lock-mode' is enabled

(`pretty-symbols-mode' uses `font-lock-keywords' to do the symbol
replacements.)