[rjabend]

Probably bad judgment on my part, but I upgraded to 11/2023.42. I did it at home so I wouldn't be stranded somewhere. So far, no problems have appeared and I don't see any significant enhancements either. I'll keep the forum posted.