Driver/firmware for Realtek RTL8814U WiFi USB Adapter?

[Larry Dighera <LDighera@att.net>]

Which Debian Stretch package provides firmware for the Realtek
RTL8814U chip?  In particular, the Comfast CF-917AC 1750Mbps USB3
adapter: https://www.amazon.com/dp/B01B75MHR0 .  

Kali Linux supports the RTL8814 natively:
https://www.kali.org/news/kali-linux-20171-release/ .  Further, there
are some clues here: https://bugs.kali.org/view.php?id=3260
https://github.com/diederikdehaas/rtl8812AU
https://github.com/astsam/rtl8812au
https://github.com/lwfinger/rtlwifi_new

But, I'm looking for an "official" Debian firmware package.  

I wasn't able to find the rt8814 mentioned here:
https://www.debian.org/distrib/packages nor here:
http://linux-wless.passys.nl/query_chipset.php?chipset=Realtek
nor here: https://wireless.wiki.kernel.org/en/users/drivers