Thank you, Charlie ; I am fully cognizant of the fact that this «is really a bug report». Moreover, I regard the problem I described above as a bug, quite similar to, if not identical with, the one reported by Jeff Lane two days ago. In any event, I have taken your advice and reported a new bug, #571893....
Thank you, Charlie ; I am fully cognizant of the fact that this «is really a bug report». Moreover, I regard the problem I described above as a bug, quite similar to, if not identical with, the one reported by Jeff Lane two days ago. In any event, I have taken your advice and reported a new bug, #571893....
Henri