True true, though it's more characters to type :) And is ES7 going to be called ES2016? (Considering how JavaScript is starting to run everything there is a certain long-term logic to this naming approach.)
ES7 is still ES7, and ES8 is still ES8. I'm not even convinced ES6 got renamed - nowhere apart from HN comments have I seen it called ES2015.