TODO(swann): write this out better
Any tests in `test-server.sh` should also have their names added to
`server-test-names.txt`, otherwise the CI pipelines will not run them.