Note: the vendor ID registered is incorrect: it should be

2357:011e

(see: https://h-node.org/issues/view/en/380). Tested with a Guix System, using the

rtl8812au-aircrack-ng-linux-module

module. The configuration looked like so:

(use-modules (gnu packages linux)
             ...)

(operating-system
  (host-name "x200")
  ...
  (kernel-loadable-modules (list rtl8812au-aircrack-ng-linux-module))
  ...

The performance appears very good on the 5 GHz band (OK on the 2.4 GHz band). It saturated my 50/10 MBPS link easily from across the apartment on the 5 GHz band.