That link does not work? says it does not exist or is private? I too am looking at what must be changed if I change lens. Seems it’s not so straight forward as swapping out the lens itself?
The post is in a beta group, so you won’t see it, but I’ve copied the text here:
The speed setting is indeed based on the surface speed. Ultimately it’s converted to “angular bits per second” where the full available range of the rotating mirror is represented as a value from -32767 to +32767 (or 16 bits of total range).
If you had a 200mm field lens and changed to a 100mm lens, it would double the angular rate of the mirrors to hit the same speed.