In case anyone's interested, there's an adjuster bolt, and possibly also a pivot bolt, on the power steering pump. Loosen it and pivot the pump to loosen the belt. I had to whack it with a hammer to get it to move, and then whack it back to retension the belt.
jules, December 2008