I keep an old version of "Noteworthy Reader" as a browser plugin for these eventualities. I cordially dislike Noteworthy, but people will insist on using it instead of standard midi format, which is far preferable.