`Stream error in the HTTP/2 framing layer` when running `elan toolchain install`

[samuela]

> elan toolchain install leanprover/lean4:stable
info: downloading https://releases.lean-lang.org/lean4/v4.23.0/lean-4.23.0-linux.tar.zst
Error(Download(Msg("error during download")), State { next_error: Some(Error { description: "Stream error in the HTTP/2 framing layer", code: 92, extra: Some("HTTP/2 stream 1 was not closed cleanly: PROTOCOL_ERROR (err 1)") }), backtrace: InternalBacktrace { backtrace: None } })
error: could not download file from 'https://releases.lean-lang.org/lean4/v4.23.0/lean-4.23.0-linux.tar.zst' to '/home/skainswo/.elan/tmp/7ji85i7z9cubwnh5_file'
info: caused by: error during download
info: caused by: [92] Stream error in the HTTP/2 framing layer (HTTP/2 stream 1 was not closed cleanly: PROTOCOL_ERROR (err 1))
=> Operation failed. Exit code: 1.

it seems to be persistent. i'm running nixos 25.05.