I think this would good. Created a similar issue here: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1068774 However, I don't think it's common that one manually installs a package that one already had installed as a dependency and doesn't want to mark it as manually installed, or is it? I think example scenarios would be useful.