BTW, I take it that #cyrus on freenode IRC is dead? I asked about this issue over 10 days ago and since then have seen absolutely no activity (in terms of message posts) on that channel.
------------------------------------------
Cyrus: Info
Permalink: https://cyrus.topicbox.com/groups/info/Tc68896e62f7d30f7-Ma71972da1e3ce732050ebe38
Delivery options: https://cyrus.topicbox.com/groups/info/subscription
lmpx.com only provides a reader for public news (NNTP) servers. It is not
affiliated with the servers or forums shown here and is not responsible for
the content of articles, which is written by their respective authors.