Spending summer holidays in Hong Kong aka how to make the most of it

Yay! It's July. Holiday time! On the one hand you jump for joy, immensely looking forward to having a few weeks of a well-deserved and long-awaited time off in the summer. But the minute you realise you are still in 2022 and tight sealed Hong Kong, you suddenly experience a bout of depression. It's holiday time but your are not going anywhere. That is not anywhere you would like.  But c'est la...