Nach meiner Sicht der Dinge wird das Release der Potato auch weiterhin Potato heissen. Ein neuer instabiler Branch wird eroeffnet, und der bekommt nach alter Tradition einen neuen Namen. Yepp, Woody.