Do they have a new name or was the purpose of this announcement so The Deciders can review suggestions on Hacker News and decide which is the best name for the project going forward? :-)

I think this is very good news: it strikes me that the platform is maturing to the point that it's going to be around for a very, very long time and having a "good name" is part of that. Along with OBS it seems that the app soon to be formerly known as Riot/Matrix became a critical tool during the quarantine and will be even more so if there's an encore quarantine this fall or winter.