After a lot of wrangling, I learned that the mower is easiest to work on when turned on its side. The belt can be tightened by removing the guide from the central pulley on the pivoting mechanism that is tensioned between the two spring sets. You first remove the guide, then loosen the bolt and move it forward to tighten the belt. That took going through a lot of YouTube videos to find and then a bit of experimentation to learn how to adjust it.
In other work, I accomplished a lot with the tractor. Grass cut around the lake, at the old house, and in the field by the trailer. The corn crop was being harvested when we left. I had hoped to be able to shoot some doves but by the time I am back, the corn should be all gone.
The little garden had become overgrown so I used the little tractor to cut that grass and then used the Troybilt tiller, that I had just got fixed, to till for the turnip patch. I was grateful that it worked like a charm. Now all that is needed is rain.