Unknown file types

Often we happen either to receive files with the unknown extension (in emails, especially), or somehow succeed (by mistake, of course) to delete …

Continuation