clarify what it does.
update LG version number
Another place with version numbers
remove bogus flush sent midstream
Add FIXME note .. relex2logic seems broken!?
Oops, don't want this print, here.