I'm pretty sure I went straight from Badger to Ermine on my EE, so I never saw what the Dingo build was called. I seem to remember people who had the big eDGe asking when they would get the Dingo 1.13 upgrade (from 1.11). Maybe it never happened and Ermine came along so nobody cared about Dingo for EE anymore.
I'm glad the updates are working for the people you are helping, Lorenzoens! Are they both out of that first welcome screen loop?