Linux with USB-C & Thunderbolt Docking Stations - What Works, and Buying Tips