2013/8/30 Daniel-Constantin Mierla <miconda at gmail.com>: > 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.