pkill37

Removing it just leaves it hardcoded in english (not the chosen primary language).

https://www.overleaf.com/help/216-how-does-overleaf-compile-my-project

I think we should reconsider this. Overleaf is increasingly more popular in the research community. Let's not be elitist and pretend everyone likes working at the CLI. It'd be a...