New Ubuntu version is out, and now add-apt-repository ppa:e15/ppa adds a nonexistent repository http://ppa.launchpad.net/e15/ppa/ubuntu quantum main. No real problem, since precise version still works well if changed in /etc/apt/sources.list.d/, but updating would be neat.