diff -r 470e82d70ee0 -r 1f85ad1a7758 debian/docs