I’m not an authority on these things but my recollection is that they were an english machine. There was a bit of an English vintage mower “scene” a few years ago but I can’t say whether that’s continued or was just a passing phase. Somewhere floating around I have a couple of print magazines that someone gave me so there was decent momentum behind it.

In any case if you don’t find what you’re after initially you may find that there’s expertise to be found on your particular machine through British interest groups. They, usually, have good stores of information.