This turned out not to be true, so I deleted the original post about it