Dealing with the IdP proxy instantiation instructions

I've made these more precise.  If you feel like this needs discussion, let me know and I'll send a note to the list.