To be fair, the amount of traffic we are talking about is not really that significant. GMP only allocating one core [1] for these requests and being frustrated

To be fair, the amount of traffic we are talking about is not really that significant. GMP only allocating one core [1] for these requests and being frustrated that after so long they might have to increase the resource allocation or change something else is a bit unreasonable too. [1] https://gmplib.org/list-archives/gmp-devel/2023-June/006169.html https://gmplib.org/list-archives/gmp-devel/2023-June/006169....