Thanks. Guess it is there after all, and either reddit search is lame, or I'm lazy. Possibly both. ETA: Just checked it again, noticed that the OP of that thre

Thanks. Guess it is there after all, and either reddit search is lame, or I'm lazy. Possibly both. ETA: Just checked it again, noticed that the OP of that thread deleted his account. Could be he wanted anonymity, or could be that he made it all up. Hmm...