Use replace-regexp-in-string
Use replace-regexp-in-string

chrisdone/intero,chrisdone/intero,commercialhaskell/intero,chrisdone/intero,chrisdone/ghci-ng,commercialhaskell/intero,chrisdone/ghci-ng,commercialhaskell/intero