Fixes #1209, doc phrasing about using optimization tool for multiple modules