TermsCtrl and DatasetRepo.saveRecords, RecordDb.recordsWithValue now also know about special record wrapping for origin-harvest.