chiark / gitweb /
path: add PathModified (= PathChanged + IN_MODIFY)