The fork on my R-20 is stiff when you rotate it.
I'm guessing the bearings in the headset needs a little cleaning.
I'm going to buy a headset wrench to remove the headset, and I'm wondering what size?
It's a stock headset.
I removed mine with an adjustable wrench; It's likely neither of the dimensions you cite as it will be an imperial measurement. I recall buying an old 'all in one' Raleigh spanner hoping it would be a fit and it wasn't. I may in fact have not used a wrench but in fact used my little square jawed vice (not attached to a bench) to fit over the large nut. Which worked fine.