There are lots of contexts; possibly merge some in the future? Kind of confusing right now.

[kach]

$ grep -R -h -o '[a-z]\+\(_context\|_ctxt\)\b' mechanization/ | grep -v 'Binary file' | sort | uniq
comp_context
comp_ctxt
compilation_context
eval_context
eval_ctxt
module_context
namespace_ctxt
ns_ctxt
orig_ctxt
repl_context
repl_ctxt
translation_context

[jeromesimeon]

This list isn't very useful without details on what those names are (variable names? type names? record field names?), and whether they are internal information to a phase (e.g., there is translation context used in the Ergo -> ErgoC translation but this does not get exposed outside of that translation) vs what context is really global (e.g., namespace_ctxt needs to be passed between declarations to know what names are in scope).