Commit c3acbd96 seems to have made lots of completely unnecessary changes to various lem-generated files. I guess Ramana has changed his lem-version? Which version *should* we be using? Michael