[Badger44]

Many thanks for the information Henk, and for the links to the websites. That's all excellent, and is not only helpful on the two patches I asked about, but on others I hope I may be able to get in the future.