Talk:Global Positioning System

Rename

Now that the full name has been sourced, I think we should name the page just that. I won't, of course, do it myself. Does anyone have anyone have any objections?
--SOTO ☎ 03:13, July 25, 2013 (UTC)