3 ms·Update: Just got a reply to my mail, PG killed the comment in question. Thanks!by HSO 16y agoUpdate: Just got a reply to my mail, PG killed the comment in question. Thanks!