2013/8/30 Daniel-Constantin Mierla <miconda(a)gmail.com>om>:
Andreas had also good remarks/suggestions and can be
(part of) the solution
for a while. Still someone will have to do a bit of work... volunteers?
I can try to help with the github mirror.
