Ok, thanks to SatNogs observation
… it appears that the CoRAL 9k6 downlink on 401.140 is the AX.100 variety!