> > Is this behavior intended, or should I file a bug? >
If you find something that you think is potentially a bug, *always file a bug*. Posting here is likely to be missed by the Core developers while bugs filed are things we are sure to look at. We might mark it as invalid, but at least it will have been looked at.
