OK; let's just close this as won't fix.