ott: remove syntax error due to new string syntax appearing in comments

The new string syntax means that the characters {true| cannot appear anymore in a comment without the matching |true}. Inserting spaces solves the problem.
There's quite a bit of binary file noise in this diff; could it be trimmed to just the string literal chunk? I can pass it onto Peter Sewell to get into a release