Those are the instructions I followed. 2 things I think worth mentioning are these

1. Have 2 breaker bars handy, 1 for loosening the belt (via the tensioner) and 1 for loosening the bolt that holds the pulley on. I wasn't able to get the breaker bar off of the tensioner because it would wedge itself against the frame rail when no load was placed on it.
2. Get another person to help you reinstall and torque the bolt because it's gonna be pain in the **** trying to hold the strap wrench and get the proper torque reading at the same time