Comment 1 for bug 251454

I agree that this would be a good idea. Empty placeholder Packages files are already there for all pockets, just not for debian-installer/binary-*; this should just be a matter of fleshing that out.