Merge branch '1691_debian_man_patches'