On Feb 7, 11:05pm, Bart Schaefer wrote: } } This does reflect a change from previous behavior, so we'll want to } consider it carefully. Since no one commented to the contrary, I've pushed this so we can get some additional experience with it.