How do I switch to an external USB wifi adapter

Please don’t crosspost.
See: Wifi boost raspberry pi 4 - #11 by Wheaten