For those of you that follow PMI development, just FYI: there is a
PMI-commits mailing list. Similar to the IMP-commits list, it gets an
email every time code is pushed to the PMI repository at GitHub.
(Full disclosure: it's actually been in existence for some time, but it
never worked correctly - it should now.)