[asveikau]

I do not know this code but the diff, posted elsewhere in this thread, looks more than trivial to me. Such changes tend to have maintenance cost. If the original authors don't care about the functionality and aren't testing it, it's probably not worth keeping, as they may go through great pains to leave it in and still end up breaking it frequently.