TranzX doesn't offer the manual for their EDP01 online, so here is a scanned version.
NOTE: TranzX recommends inflating the seatpost while it's in the extended position.
https://drive.google.com/file/d/18S4yTX7dBpbcPK3YXnevwuec7jN_EbsQ/view?usp=sharing