How do I show the Dock in full-screen mode?
The answer you posted in the question (unorthodox, yes) is correct: you have to move the mouse toward the edge of the screen in a separate motion.

But also, note that you don't have to lift your finger. You can just move the mouse to the edge of the screen, pause, and give it a little extra nudge.