clarify what it does.
update LG version number
Another place with version numbers
remove bogus flush sent midstream
Add FIXME note .. relex2logic seems broken!?