They did start planning around then. I don’t remember the exact date of when the FCC working group officially convened but they’ve been working on it at least since I was a grad student in the early 2010s.