Man pages matching name gnunet-download-manager in section 1:

gnunet-download-manager.1.en

debian 10 / gnunet