No matches were found for subject:"Bug#714456\: aegisub\: Aegisub closes abruptly while I was editing an external .srt file to attach it to a .mkv file"