I'm glad to remove it in another commit! Let's discuss with Justin whether we need it. I didn't add it here, it's just showing new due to the rename.