update: a helpful hint from the good people over at The Flight Deal: @jonk a tip: at HKG, go up to Departure level, there is...