gjm comments on MIRI course list study pairs

[gjm]

Yup. (And of course I’d previously assumed, correctly as it turns out, that it was given name + initial.) What a nice coincidence!