@Rodney: yes, the plan of removing it from the seeds was already there as per https://bugs.launchpad.net/ubuntu-html5-theme/+bug/1587505 - and that change landed just a few hours ago.
@Rodney: yes, the plan of removing it from the seeds was already there as per https:/ /bugs.launchpad .net/ubuntu- html5-theme/ +bug/1587505 - and that change landed just a few hours ago.