In principle it should be possible to fix this, but at the cost of making the fix more ugly. I was hesitant to do such bigger changes right now if it's not really necessary.
In principle it should be possible to fix this, but at the cost of making the fix more ugly. I was hesitant to do such bigger changes right now if it's not really necessary.