Various changes from `apt-mark showmanual`