Hello,
The server does indeed update to use the nightly, however this only happens when I wake up, at various times of the day (this changes frequently, currently around UTC midday).
1. The task of updating the nightly on Windows is very arduous. If anyone has any idea of how to automate this, I would be grateful. If it were a linux server, this wouldn't be a problem, but even being the lifetime windows user that I am, I don't know of any easy way to automate this (though I'm sure that there is one). Does anyone know Python?
2. I am still looking for volunteers to help run the server, most importantly the manual nightly update - this could even be done on demand and doesn't have to be done on a regular basis, e.g. the volunteer comes in and see the version hasn't changed, they will be able to change it if they want, etc.