Should people on my server be able to download tools?

I have several tools on my server. Shouldn’t people be able to download these off the server without fast dl or going to gmod.org?

I would add it to the download list just for good measures, that’s just me though. I add anything that wasn’t in my server initially.