download: remove /usr/local/man
download: remove /usr/local/man

Debian packages must not ship/create files in /usr/local.
Quoting the Debian Policy, section 9.1.2:

> As mandated by the FHS, packages must not place any files in
> /usr/local, either by putting them in the file system archive to be
> unpacked by dpkg or by manipulating them in their maintainer
> scripts.

Debian/debiman,stapelberg/debiman,stapelberg/debiman