Oh, you might be right! It's actually too long ago that I remembered that change. So indeed. I rewrote that file and now it only has the features which we really need. So indeed we should be fine.