So, how do you retension it?
Maybe that (I think) 3/8" square socket fitting on the tensioner?

The service manual says:

Tension Adjustment
Belt tensioning is not necessary, as it is automatically adjusted by the drive belt auto-tensioner.

Sounds like there might be a little tip they ommitted...

Thanks for your help!