ECO mapping update
book update
Fix time field of "post" output for Winboard (should be centiseconds,
not millisec).