I did see that, although I read that paragraph as focused more on stereo vs insert mode rather than stereo vs mono operation. And if you follow its lead to the Settings View section of the manual, the text on I/O config goes on to say "Note that if no cable is connected to the OUT - RIGHT jack, your HX One output is folded to mono."
But supposing you are correct that stereo operation defeats the blended-mono output, I'm confused why they'd be mentioning folding to mono at all (which shows up three separate times in the manual). By nature, we'd need to be in stereo operation to have anything to fold to mono. If there's only one input connected, we're already in mono.
Admittedly, nobody would probably ever use stereo inputs with a mono output except in the case I mentioned above with two different instruments - which is exactly what I was hoping to do.
I think I'll open a support ticket and see what they say.