Ah yes, I see - I think @eteq opposed removing it, but apart from that several people expressed interest in removing it. At the time, @eteq's comment was 'why not keep it if we can', but if it is difficult to keep it in this pull request, that provides an argument for removing it. My personal opinion is that it should be removed.

Maybe @eteq can comment on this?