add prettify-symbols-mode configs, etc.