Comment by dang

Please don't copy-paste comments - it makes merging threads a pain! (and indeed the temptation to copy-paste is indication that a discussion needs merging)

p.s. It's a great comment! no problem on that level