Add option to insert a space between del and ins tags
Pre-release
Pre-release
Add option to insert a space between del and ins tags - this is only done in replacements, and will insert a space between the <del>
and <ins>
tags in the replace operation.