diff -r 65435559b871 -r 7f5240678ea9 debian/docs