You are right.
Most of us don't notice we have a lost decade already. Hong Kong was having second highest GDP per capita in Asia. Now, it is after Japan, Singapore, South Korea.
If we exclude the stocks from mainland china, Hang Seng index didn't go up for more than 10 years.