I admit I don't really understand anymore why this was needed. Delete it anyway. It was added with commit 42fa7cbbf.
42fa7cbbf