Worksheets for debugging ConText translation.
Integration with Eclipse