A day of rebranding at The Pentagon, this name change slipped under the radar | Not Hacker News!