Hello readers of the IMC mailing list, Sorry for the flood of delayed messages. I just became an administrator of the IMC list (thanks to Josh King!) and let through some backlogged notes.