Hi everyone!

Version r1420 has just been released. It’s a quick update over r1415 to fix a few errors when deleting files. As a small feature, it also adds filtering files by assigned or not.

Please update when you have the chance!