distro/.regular-tde-extras is now mixin/regular-tde which pulls in
several extra bits in addition to just the lists.