I guess so. But the original definition was useful and encapsulated a specific thing. And the everyone discarding that definition is a bummer. But it’s not like there is anything to be done about it. And Doctoro has said he’s not too annoyed by it himself.