• Is the name “Ernie” short for anything? Ernold? Ernward? #