File debian/docs artifact da39a3ee5e part of check-in f8285bffb0