TodayIR: What is HKATG (SEHK:1725)? A mini SpaceX or the nex