For anyone having this problem, it seems it was inherent to the downloadable tinyMCE from version 6.4 through the latest 7.5, where the size is again what it should be.