Write about WITH-CC-CURRENT-LEXENV in README