On Aug 26 2013 the MetroNavigator will no longer be offered. This does not impact the price or other services included in your plan. [We will still take your money though] We apologize for any inconvenience.
i had an intranet server running 12.4.
i upgraded to 12.4.1 since my periodical apt-get dist-upgrade seemed to suggest it might be a good idea. when offered the choice, i said to keep the existing config files.