Today I found that I needed to connect a USB mouse to my laptop — and both
USB-C ports were occupied, one by the monitor, one by power. Turns out it's
not a huge deal on Linux if you have another PC nearby.

The reasonable fix is a €3 USB-C adapter. But the adapter is three days of
shipping away, and the other PC — a little Rockchip ARM board that...