2018-07-09 PureText: 書式抜きでペースト このブログもそうだが、Web等からコピペするときに、書式が付いていると面倒。今までは、いったんエディタに貼り付けて、そこから再度コピペしていたが、PureTextを入れて解決。https://stevemiller.net/puretext/