Fix for the double/triple dash replacing

We get a lot of double-dashes and triple-dashes when pasting output from PowerShell, and it’s apparently a well known issue with a Wordpress filter that converts it into some escape code, so the above link is a Wordpress support thread that discusses how to go about fixing this issue.

--
---

Like that.

Hey there Martin,

I’m looking into this now. Thanks!