Thanks for these nice alternatives, which I will favour. (trying both of them) BTW, which Linux distribution is most recommended from a performance perspective? I have a refurbished PC with Nvidia GTX 1650 GPU and Intel Quad Core (3 GHz) CPU from around 2008, with 8 GB RAM. Arch Linux? And also "easy" enough for setting up the dev environment for 0ad?  @Yekaterina