[papajchris]

Originally Posted by cbk1994

I can always move it to a wiki on http://era.graalcenter.org/ if you have people interested in maintaining it.

I'd be willing to maintain it, unless you meant the global new staff only