Escape the pipe character with a percentage sign instead of with a backslash character

In Lua, percentage signs are used instead of backslashes to escape characters in string patterns because backslashes are already used for escaping characters in string literals.