Some uniformisation of colors in the UI

Ability to hide embedded files with a setting, so that you only see your personal files

And fixes a case of crash that appeared suddenly with IOS 13.1!