@Nick-Willis
It's simply a case of attaching the serial Tx/Rx on the pi to the Tx/Rx on the arduino (use 3.3V arduino or a level shifter if using 5V pro mini)....
Don'e be tempted to use the pi 3.3V supply for the radio or pro mini - take the 5V supply from the pi and use this via a regulator to get cleaner 3.3v...... Originally I used the 662k, but now use AMS1117 3.3V as it is cleaner DC and can give more current for the radio tx pulses.