Problem - deleting mods from the mod list thingy doesn't remove them from the server & the file names can't be re-used. YAY!
Ignoring the problem, there's already a user group that can delete mods from the list, but for obvious reasons it's not one we hand out often since it gives people free reign over all the mods.