diff -r 05240b778be1 -r c7cd77e9e42a debian/docs