[21:45:15] <hare>	 I have a REST API question. I am working on a user script that make many requests of the diffing API. Is there any way at all to batch these requests? It would reduce network traffic by so much and make rate limiting less common.