Jarrah is unhappy with my comment above.
I'm gutted.
His point was that the name 'Flag crater' wasn't formally adopted as such by the people who formally adopt things until 1973. It says so in wikipedia.
I don't care.
The point the ADs made was that flag crater wasn't referenced in a document, when it was, many times. It was informally known as flag before and during the mission.
And Jarrah, if you have accusations to make about members of this site, bring them here. Don't hide in your echo chamber.