diff -r 79e0cc971747 -r 172a86d4d34e debian/docs