@@ -43,4 +43,4 @@ Tokens are sent via the "tokens" http header. They are encoded as a JSON array o
## Extraneous Tokens
If more tokes are sent then required for a search the server will set a "tokens" cookie that contains those unused tokens. We strongly recommend reading those from the cookie and deleting it afterwards.
\ No newline at end of file
If more tokes are sent than required for a search the server will set a "tokens" cookie that contains those unused tokens. We strongly recommend reading those from the cookie and deleting it afterwards.
