Tomi Ollila <tomi.ollila at iki.fi> writes: >> + > > Perhaps just (the last sentence): "This option turns that optimization off." > > Tomi pushed to master, with this change. d