I'm drafting the official public announcement, which I'd like to sent to
info-gnu as well -- it's on-topic, according to the list description at
https://lists.gnu.org/mailman/listinfo/info-gnu .
What do you think of this text?
Looks great :)
