Are Hong Kong IPOs just too boring?