Должен ли я обновить имя выпуска Ubuntu для PPA?

Имеет ли значение, что у меня есть файлы, такие как webupd8team-jupiter-precision.list в моей папке /etc/apt/sources.list.d, если я использую raring? Должен ли я обновить источники внутри, чтобы сказать raring вместо точных или количественных? Я не согласен с тем, что делать, потому что, если бы я сегодня добавил репозитории с add-apt-repository, то названия релизов были бы актуальны. Но если их обновление прошло нормально, то это должно было произойти при обновлении.