Would it be possible to add version information to miri? Currently, running miri --version forwards this flag to rustc, so it prints e.g.

$ miri --version
rustc 1.82.0-nightly (fdf61d499 2024-08-20)

which is not useful.

Instead, it would be nice to have miri --version and maybe even cargo miri version. My personal use-case is that I want to double-check that I am using the correct miri when I am making modifications to it to debug/test some other code somewhere else.