Yes, I insist on removing it. Let's discuss it in a separate RFC or PR.