Meaning of variables in editor_command $ROOT expands to expanded section directory $FILE expands to basename of expanded page $SECTION expands to section $PAGE expands to page $QID expands to quest id