PaulM47:
but assume I'd need to download the IDE directly to find the standard library source files
Thay are already included so they can be compiled if you want to use them.
The Arduino IDE is just a Java program so I don't bother with any installer.
...R