Current state is a bit problemetaic. Because there is no release branch for the Stylesheets, and no one has answered my queries here of 01-25 16:47 and 01-25 17:20 (my time zone, I think), I don't know where I should push these changes. (I also don't know what is the *right* way to push them, per my query of 01-25 19:03, but I can get around that w/o much difficulty.) If I don't hear otherwise by tomorrow, I'll just make myself new branches, push the changes there, and let the release techs sort it out. (May even send a pull request :-) Sounds a bit mean, but it is certain not to make anything worse. I don't *think* this will cause any problems with the release. I have tested the change only in the positive -- that the changes I expect to see in the readmeX.html files are as expected, not in the negative: I have not looked for errors elsewhere. Thus it makes me a bit nervous to make a change this close. On the other hand, that's (in part) why we have a version control system, and Hugh is quite adept at it.
Thank you Syd for taking care of the release notes processing. I just wanted to check what the current state is. As I see it, this shouldn't cause any problems with the release? Any concerns from the release techs?