3 ms·... and the mention of downvoting was a small part of an otherwise excellent comment anyway!by snogglethorpe 12y ago... and the mention of downvoting was a small part of an otherwise excellent comment anyway!