Just for completeness sake:
Here's our blog article about using external GPS devices:
https://www.foolography.com/2019/11/28/ ... unleashed/
Also, the latest Android app has a completely overhauled Bluetooth implementation, which should work flawlessly with Pixel Phones and other Android 10 or 9 phones that had issues.