should we shut down this mailing list?

[Tomas Nordin]

> Hence, my question: should we shut down this mailing list?

I am still listening on this list, so I think no. The list has been very
useful for me some time ago when I had problems. Offlineimap has just
been working for me since, so not much to ask. But I think a list is the
best form of communication whenever there is some issue to discuss.