A relatively minor — and late — update this time; I have been busy with a related project. There is a new text in the digital library, a version of [...]