diff -r a0ce6426f63b -r 0a525189554d debian/docs