or is that it didn't adjust on Friday and this isn't significant enough to adjust the next time the market is open (Tuesday)?
Reply on news.ycombinator.com