I don't know whether you consider this project a done deal or not,
but I've stumbled across what seems to be the original source code for the monitors,
complete with labels and comments.
It's available as a .D64 here:
6502.org and the file you want is ml-monitor-source.d64.
I used Easy Script to load and examine the SEQ files. MICII4 seems to be the root file.
I don't know whether you consider this project a done deal or not,
but I've stumbled across what seems to be the original source code for the monitors,
complete with labels and comments.
It's available as a .D64 here:
6502.org and the file you want is ml-monitor-source.d64.
I used Easy Script to load and examine the SEQ files. MICII4 seems to be the root file.