9.3
install: Replace wget with curl.
Remove support for Ubuntu 20.04 and Debian 11.
Use #!/usr/bin/env for bash shebangs.
ci: Check that non-scripts aren’t marked executable.
tools: Reimplement CI failure script without using CircleCI endpoint.
katex: Replace subprocess call with minimal external service.
ci: Move specialized tests away from Ubuntu 20.04 and Debian 11.
ci: Test pgroonga installation.
ci: Do not pre-install rabbitmq-server in Docker images.
ci: Unpack installation tarball under /root/.
ci: Remove references to CircleCI, which we no longer use.
ci: Remove 2>&1 redirection.
nginx: Remove legacy X-XSS-Protection header.