updated to reflect changes in the event names for recent Ringleader change. Also rename static/mitm to give an html suffix for auto-syntax-highlight convenience