Comment by johnkpaul

That new line in the first paragraph was added _after_ this comment was written.