> The names of settings and the descriptions of sliders are not 1:1 the same. The documentation on mamedev.org can tell you which setting is related to which slider.
I gathered that, but the value difference between ui setting of one and ini setting of another isn't explained by it.