[Develop] getting subscrivers from demotv-devel

[will]

I think it's easier to send a message to demotv-devel and say "We moved 
because SF is difficult to do things with" than it is to try to find the 
subscriber list and get it here.

Also, what is this mailing list for?  Is this Miro development or 
development on all things (Miro, Mediabar, Miroguide, ...)?

I think it'd be better to name this list miro-dev instead of develop and 
have a -dev list for other development activities.

/will