This is an old revision of the document!
You will find more info about tensioning the timing belts via this link.