3 ms·Thanks for the pointers to the comments. They're interesting to read, just like the replies to them.by GuiA 13y agoThanks for the pointers to the comments. They're interesting to read, just like the replies to them.