3.8.3: fix elided lemma lookup (lookup-table-only patch, weights unchanged) 140267e verified diyclassics commited on 9 days ago