I can find it now that you pointed it out but didn’t see it when booking on Saturday, I only learned of the delay when boarding hadn’t started by 8:55 but only direct communication I received was the 9am departure was updated on the departure board to 9:26 at 8:58.
Not a big complaint, just...