Thanks for the ping - sorry, I've been largely offline while I'm between internet providers.

The change is fine, but I wonder whether we should document it somewhere? Most likely in the devguide, which is in a separate repo, but perhaps a mention in PCbuild/readme.txt too?

Presumably you looked around for ideas before figuring out the issue - anywhere you might have found it? Just in the source code?