4 ms·Save yourself the pain, don't.by alecthomas 17y agoSave yourself the pain, don't.rbanffy 17y agoThanks for the insightful comment.