The text 37e4ec7e2f22, as Debian 12 (Bookworm) shipped it.
[range.sized] The sized_range concept.
std::ranges::sized_range(3cxx) on Linux now
