I also have a picture of the pulley tensioner (circled in black) that broke which resulted in the serp belt falling off. *Below*
I circled in yellow the bolt that docurley referenced in his write up reference below.
"C2. Detension the serpentine belt tensioner using a 17mm socket. As you turn the ratchet to relieve tension pin the tensioner open with a small screwdriver or other suitable tool. Leave the tensioner and pin in place for now."
Edit
*I just noticed its difficult to see the images. I will try to load some different ones.*
I may be doing something wrong, but the bolt docurley references using the 17mm socket, its a non moving part. I already ordered a new tensioner, any tips or suggestions while removing/installing?