Tether RPi to iPad Pro via Ethernet over USB-C

That's cool, gives you access to a real computer on the go!