Probably my fault. When I set up the server a few players had to remove that .disabled extension manually before they could connect to the modified server. Perhaps that has changed, or perhaps I just missed something obvious.
Yeah, they should show up in the launcher mod list, under the disabled column, and just need highlighting and pressing the "enable" button.