> (I had it set up for majordomo@sourcelight.com, but it will now handle > MLton-discuss-request@sourcelight.com.) So you did finally get majordomo set up?