Comment by pohl

People do delete their own comments after they've had a moment to consider what they've written. It's an honorable thing to do, IMO.