Andy Dingley wrote at great and helpful length.

Thank you, Andy! I knew someone here would save me a trip to the main
library. :-)