porg, unfortunately this is due to limited resources which we have to focus on issues which affect paying customers. Before you point it out, I realise that this issue could too in theory, but so could any of the other several thousand open issues, and many of those have more severe consequences. By making our source available we do provide an alternative for users who badly want things fixed that we don't currently have time to look at. I will bring this to the attention of the developer most likely to be able to fix it, but of course I can't make any promises.
