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.