Thanks! In case you wonder how did I discover this bug: I regularly edit files over ftp, the ftp app creates temporary files, which are deleted after uploading, and closing such files often results in a crash.