Thank you.
Not much to report. I'm going to try again later, and also to be able to not show confidential information. At the first attempt, terminal returned the following:
zsh: no such file or directory: /Applications/Arduino
And yet, the Arduino application is right there in the applications directory.
When I use finder to search for the Arduino IDE, and then use the copy pathname option, the following path is returned.
'/Applications/Arduino IDE.app'