@mike Let me stress that D.W.'s comments were spot-on: please do not cross post. It's a matter of courtesy, really. By crossposting you caused me alone 2-3 minutes of work, plus whatever
Stack Overflow folks took to migrate and others to notice, comment and flag. I'd estimate you burned about 15 mins of other people's time
just by crossposting. Is that fair?