Thank you for following through on this. That seems like it should be fixed without an upgrade.
I think so too...but it was such a distraction, I did not want to wait. I think Dusan may be of the opinion that there is a "work around" and they do not have to actually fix the 2017 build...time will tell if they do anything more. I had planned to upgrade sometime in the near future anyway as there are some new features that I like...knowing that the font size change had been fixed was my immediate motivation...