Personally, I’d like it so that it’s always dev0 or dev1 no matter what. Iirc you proposed always dev2