Setting up a Raspberry Pi 4 as an development machine for your iPad Pro

This is just about how to use the iPad Pro as a terminal to do development on the Pi 4, not about how to do development for the iPad Pro on the Pi. Veeery disappointing.