I stopped driving after running and inspecting the tightened belt on the old tensioner. I replaced the tensioner and spring. Whilst tightening the belt reduced noise, the duff bearings on the tensioner, meant the belt wasn't turning straight, like the roller was tilted a little. So edges got stripped.
At one point it tipped so as to scrape the housing. Also, I noticed a chunk missing from the roller inside edge which tore at the belt. I was only poodling around and inspecting.
A scuffed up tensioner where the spring seats:
Replacing the spring was easy at the same time, but the spring's lower bolt was hard to locate and engage, and to slacken I had to remove the water pipe to the oil cooler, so as to get a good turn, without hitting hydraulic pipes. Engaging the lower spring bolt upon re-assembly was easy.
Upon re-tensioning with the new tensioner, I found the 3/8" drive needed to go in far enough, or it slipped - i.e a 15mm long square drive on a drain plug socket, as opposed to 10mm on my (cheap) extension bar.
The new 738mm belt fits, with eccentric tensioner tightened about 3/4 of the way. I don't expect it to stretch.