I think I got the idea; now I understand that the reported behavior is not
a bug. Thank you very much for explanations and patience!