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 lives on