Problem: There is no real need for a "big" build. Solution: Move common features to "normal" build, less often used features to the "huge" build. (Martin Tournoij, closes #11283) もう9来てた Release v9.0.0700: patch 9.0.0700: there is no r…