Ah yeah, I remember that. General point still stands: in terms of the lived experience of developers, `var` is essentially deprecated.