@DavidCarlisle Got it. And at the same time, it's interesting to see that having small differences of, say, 1, expose bugs (deficiencies, issues, strange/surprising behavior – you name it) that go unnoticed otherwise (or at least there's a possiblity of this, according to Javier's feedback tex.stackexchange.com/questions/680690/…).