Saw the movie and the Editor is credited as Chow Dung-Lei / (周東尼) and not Tony Chow Kwok-Chun.

Check HKFA confirm the movie credit.

Can anyone confirm and update?

I think it was my fault. Checked and changed.