re: #85 reine.de.tout

I felt the same way about pointless or redundant comments, then I eventually realized that if you are far enough into the thread, you can make the same pointless comment somebody else made earlier but no one would ever know!

I have an elaborate spread sheet and I do know.