Comment by yxhuvud

Different editors have different patterns of usage. I find I roughly speaking never duplicate lines, so why would this be a problem?