Hong Kong Public Holiday on 05 MAY 2025 Designated Market Maker (DMM) Obligations Filing viewer · member access Original SGX announcement