IE10 Win8 device-width bug now documented