Thank you.

I'm not sure when the upgrade was done, but I've been getting email notifications including the one this morning -- although the referenced PM itself seems to be missing.