Aug. 10 will remain a school holiday, no extra holiday on Aug. 23: MOE

Hopes dashed.