ConTEXT text editor a boon for programmers