* merged documentation patch (debian #307756)