severity 160848 minor thanks Summary: The immediate problem is that the dpkg-divert man page does not document the fact that --remove moves the diverted file back to the original filename, even if the --rename option is not given. Additionally, there is a wish that the behavior be changed so that --remove does not do this unless the --rename option is also specified. -- Thomas Hood