Ah, I see. Yeah, you're right, it shouldn't be here, and confusingly still works. Will fix.