#860929 debmany should replace its debget reimplementation/fork with pure "apt-get download", too