Thanks for the heads up, Pace! I would shift down if I had to, but I tend to just make it without doing so, so I just leave it in 9th gear.
And, wow, if that's the case that 231 lbs. is total weight including bike and accessories (as I also now read it in the manual on p. 8), then most of us...