Thanks, that’s useful information. Obviously the current source package count doesn’t include this; I’m not concerned about their addition, but I am concerned that they get included before we start making any changes to the archive, since it’s much easier to include these now than to rebootstrap them later. How can we make sure this gets done in Ubuntu 19.10?