No offense but do you know carb science because carbueration is affected by altitude and temp, air density.
Yes, I realize that. My point is 700 feet isn't enough altitude to change the size of a pilot jet on a stock bike from the manufacturer's spe@c. You may have enough adjustment in your pilot screw to account for this change. No offense, but you do know what a pilot screw is do you not?
Are you actually having idling issues or was the only intent of your original post to question the accuracy of the manual? Tuning the carb is outside the scope of the manual, so that could be why the numbers are the same. Or it could be a mistake. The manuals I have for my bikes have more than one mistake.
Bottom line is you need to start with all stock sizes and fine tune from there. At 35 degrees and 700ft, you would probably want to go from a 40PJ to a 42 pilot and see how that works for you. There is plenty of information online about tuning