I've heard the pleas of several streamers that the miners are a bit awkward to use. So I'd like to pose the questions: Should I rework the miners to be more aligned with belt ratios (15 instead of 9 for the first one) and if so, what other amounts?