A massively extensible, cross-platform IDE