Parece que o Gerenciador de Atualizações agora está me solicitando a atualização. Eu nem precisei ir para a linha de comando.
Ainda gostaria de saber por que demorou 3 semanas desde o lançamento de 14.04.1 para ser eliminado ou, pelo menos, como prever quando foi eliminado.
É difícil planejar atualizações quando você não tem ideia de quando a atualização estará disponível.