It’s all there. Under 1976, select 25 hp, then select the model that matches yours. That opens a menu of every system on that motor, they are listed alphabetically, so, MAGNETO is down near the bottom.
I don’t have a 25HP, but most motors have the flywheel embossed - “set points .020”. This is with the cam centered on the points rub block.
Do a search, there are more accurate/easier ways, using a multimeter to set them, (the points when closed ground out the ignition, hence sparkplug fires when the points open),
It’s easier to watch a video than typing the procedure.