IT would be nice if a new slider was added to the game to control the amount of manufacturing diverted to non military ships like constructors, miners and others. This would be helpful when playing for an influence victory or if you are just trying to build infrastructure..