Hi Andreas,
Is this a known (mis)feature?
Not known to me. I doubt anyone has systematically investigated
behavior with such minimal files.
FWIW, it sounds like a bug to me. And I think you are the person most
likely to fix it :). --happy hacking, karl.