Tool Name: notwikilambda
Type of quota increase requested: services
Reason: I would like to run some additional services which the MediaWiki installation in the main webservice talks to. Initially, this would be pygments-server, to provide syntax highlighting (the PHP container doesn’t have Python 3, so it can’t run pygmentize directly). If I can get that to work, I would also try to run function-orchestrator and function-evaluator, but I haven’t looked into these in detail yet.
The current services quota is 1. For pygments-server alone, I believe I would only need one more service; I’m not sure how many more services would be needed with the function orchestrator or evaluator, but probably no more than three (orchestrator, python executor, javascript executor)? So a quota somewhere between 2 and 5 would be nice, I think.