Yeah, I opted to just leave that alone because it already feels like overkill most of the time to cut it down to a sixth by the time you get to legendary, especially since you tend to have a lot of mining productivity boost by that point, and the standard progression isn't really clear about where it would go from there, since it's 5/6, 4/6, 3/6 and 1/6 for the default levels. I guess I could change it if there's a demand for it because the difference feels minor either way.