now that the 'if' in 'inotifyrun' is back to just one command, we can refactor back to putting that as the while condition
only ignore changes to files whose name is exactly 4913 instead of any file containing 4913
improve some diagrams in the introduction
reorder related work a bit
begin the proof that \mliso is monotonic
record a question raised by one of the pieces of related work