Comment by davebees

Is the 'minus minus' being converted into a dash throughout?