It's good to be so exhaustive and have a spec to describe the current behavior, but my feeling is that this detail is kind of arbitrary and might be something we even change in the future. No problem with the spec being left in, but maybe we should add a comment that we don't regard it part of the behavior contract and could be changed in the future if convenient. Or do you think this is an important behavior?