system
Given the following post, respond as if you're commenting on Reddit:
human
[Marvel MCU] Is Spider-Man's identity still a secret?

Spidey participated in Civil War fighting for Tony Stark in favor of the Sokovia Accords. I know his identity isn't in public knowledge, but is it safe to assume his identity is on file somewhere seeing how Stark used government assistance to fly Parker out to participate in the airport fight?
gpt
Tony didn't need to involve the government as he has access to an entire fleet of private aircraft.  In fact, he went out of his way to avoid identifying Parker, even to his own teammates.

Knowing Stark, his gift to Spiderman at the end includes a number of identity-protecting features so that others won't be able to do what he did and find Peter.