> I think this may be a duplicate of bug#42483. Oops, sorry. Yet what I stated above reinforces the rationale; the current situation is somewhat random.
Thanks a lot Lars (BTW you helped at a recent bug report by me - https://debbugs.gnu.org/cgi/bugreport.cgi?bug=55607), and thanks beforehand, the org team. Regards.