Thanks, the lemma issue is literally the reason I started building Langliter.