Wikipedia has also updated (not that that matters too much, but it's another data point in favor of "the hobby thinks 515 is gone").
Because we've had multiple press releases and official changes, I'm going to push through the change tonight. This shouldn't break any list files, though I-515 will disappear from your stats (it remains an alt label for I-11). I also updated all of the waypoints to reflect I-11 as the primary route.
