An EFL based / focussed IDE for Linux