cl_lemmas no longer in CommandLineState