translation.insist
- name: insist
- description: Try hard to go on RTyping
- command-line: –insist
- command-line for negation: –no-insist
- option type: boolean option
- default: False
Don’t stop on the first rtyping error. Instead, try to rtype as much as
possible and show the collected error messages in the end.