Comment 6 for bug 1740160

Seed change done, should be demoted (but not removed) on the next runs.
No need for Colin to move to a ppa as it will stay in universe.

If this shall be upgraded to really become a full removal please let us know.