Users guide lies about default optimization level
ticket:14208#comment:142154 points out that the users guide claims that the default optimization level is -O0
. However this apparently isn't true. We should decide whether this should be the default and, if so, identify and fix the differences.