fixup! Google Code Issue 157: Add "escape invisible characters" option