diff -r 86504771a173 -r 3a18d3cd6ae6 debian/docs