(pretty-symbols-mode :repo "drothlis/pretty-symbols" :fetcher github)