What ever happened to the Hall of Fame voting? There were nominations back in June, but I don't remember hearing about voting or seeing winners posted. Did I miss something?