Comment by smcg

I don't like them, I don't like text editors changing the literal text that I type. I think we should just use double dash -- instead.