Yes, eventually around 12:30 pm, it did start showing the correct margin…
I’m not so sure, because the whole day, Mid Cap Nifty showed the same margins, whereas the others (FinNifty, Nifty, BNF) did get updated.
Just took this screenshot:
And the 8500 PE is still showing roughly the same margin as it is here in my earlier comment, which was taken at BOD: