So says the what’s new page. How close have they come to yymm.9999 to warrant this?
Well, in september, the post-holidays peak, it got to 1409.8676 (found this by dichotomy, maybe there’s a more clever way). Actually, in october it went even higher to 1410.8871, while in november it receded a bit to 1411.8006.
All this is a bit too close for comfort, indeed.
Edit: and the year finished with 1412.8770