Ps Group Holdings Ltd. has filed an IPO.