Posted half an hour after my comment. That is oddly specific timing.