Auspicious sign for Hong Kong stocks?