Thanks for reading! I hope the setup scripts still work okay; I haven't run them in a short while.