[mizar] difference between mizar-forum and mizar user service

[Jesse Alama <alama@stanford.edu>]

Hello,

What's the difference between the mizar-forum mailing list and the
Mizar User Service?  (My previous email was sent to the mizar-forum
list, but I wondered whether I should send it to the Mizar User
Service address instead.)

Thanks,

Jesse