Thank you again for the attention that all of you paid to my question. I
realize that in the meantime we must resign ourselves to click on context
menu, Properties, just for pendrives and memory cards. Maybe I'll see a fix
before migrating to other OS versions ...