Pushrules can now again be made with non-ASCII rule IDs.