Make deleting dossiers less cumbersome on firefox