I’d used the Quick Fix method at http://codex.wordpress.org/Changing_The_Site_URL but the config option looks much more sensible. Especially for dev->staging->live setups where you may need to do this a lot.

Strange they don’t cover that in the docs.

*resists urge to say something rude about WordPress*