Nope, we catch a glimpse of Miguel changing the universe designation to 928 on his locator while taking Miles from E-50101 (Pavitr Prabhakar's universe) to his own universe.
Of course though, there's still the possibility of Peter B. Parker being E-928's OG Spider-Man before Miguel.