I had some difficulty remembering how to set the Arduino IDE to upload sketches to an Arduino Pro Mini clone so I’m keeping a record this time.