File not found

docs/reference/muse/plugins/midi/midi_diff.py does not exist at dev