http4s is now publishing with Temurin installed via Nix. Temurin is what sbt-typelevel uses by default. "jdk8" and "jdk17" are still Zulu in nixpkgs. Basically, do we want to stick to Typelevel defaults or Nixpkgs defaults here where the twain meet?