new version: no result copying, librat fixups, doc update