I'm running a Marantz SR7011 since 2018 (was discounted as old stock when something new came out) and when that finally dies of old age sometime in the next decade I'll do the same again; find something Marantz in the upper mid-range of their lineup from the previous 18-months which had a great rating and is now on-sale somewhere. These days I'm only using 5.1 output (else there's too much cable everywhere) and I use PCM output in Kodi to avoid needing two remote controls. Perhaps it's old(er) age but these days I'm content to have something that sounds good (with Kef Reference speakers) that "just works" instead of pushing the boundaries of Linux media; or perhaps the boundaries (and an RPi5) just caught up with what I'm happy with and need?
RPi5 has greatly improved CPU decode capabilities over an RPi4 so it can e.g. handle some AV1/VP9 content, but otherwise doesn't really add anything over an RPi4, e.g. HEVC capabilities are identical.
HDR10+ is typically backwards compatible to HDR10 so you'll see "HDR" output on that content. DV content is sometimes backwards compatible with standard HDR and othertimes requires hardware with dedicated DV capabilities; which limits you to devices that run Android or Windows and are outside the scope of this forum.