I am sorry, but creating another PR and ticket and the whole shebang just seems like waaaay overkill if it was "fine" all these years...  But sure i'll change it back, feel free to push a fix for that.