¿Sabías que hay un gestor de repositorios PPA para controla, añadir o eliminar este tipo de fuente? Pues hay algo para este fin: Y-PPA-Manager y es trabajo del equipo WebUpd8. A ver, no es novedad, y lleva un tiempo fuera pero no le había prestado atención.