Spider-Man 3: No Way Home

Fun movie!
So everyone forgot who Peter Parker is. But there are still all of the video/documentation/reporting that Peter Parker is Spidey. Also, do the Avengers records database also "forget"?
 
https://twitter.com/s***postGate/status/1479420063715401728?t=WlmAcSNU1X9s1irMz1Ys3w&s=19