@qudrcps FYI, you can buy Intel AX200 in the form of a half-size mini PCIe card. Manufacturers like Fenvi offer both M.2 and half-mini PCIe SKUs.
Thanks for the suggestion. Looks like there are several re-packagings of the AX-200 core. Apparently, the Fenvi has disappeared from stock, but found one from Toulineua at AliExpress. This version uses the Intel AX200D2WL core (as they all appear to), and comes in a version without Bluetooth (the "A" version) and with Bluetooth (the "B" version). The cost is about $US 23, plus shipping.