To finish up this little story...

I placed the pulley back on the steering pump, using some blue Loctite to help keep the bolts in place this time. The steering appears to be working normally after replacing the serpentine belt. One thing that drove me bananas was that I couldn't figure out the routing of the belt, since the old one was completely shredded. I finally found this to help me:



Until I found that pic, I kept wondering why the damn belt seemed about three inches too long for the engine. The Bentley manual really ought to have the routing diagram in it.