Hi,
the dev of GateIn 4.0 started last march but it was not yet mentioned in the community site.
Now it is fixed and you can follow or contribute to the development from this all purpose GateIn 4.0 page!
Julien