The continuous-integration (CI) provider Travis is gone. Upgrade our CI to use something that works (probably "github actions" is the easiest, here). If anyone is feeling ambitious, I'd love to use not-"GitHub Actions"...
