We seem to encounter issues with files that have a "--" in their title. The "--" is converted to a <del> element at least in the FileCheck.
We should use as many as possible escapers to avoid this.