This definitely holds true for HK receivers. I dont know what that company did. I loved my old HK, I went with Marantz this time because I wasnt too sure about HK anymore.If you listen at typical 60-75db volume levels, should be ok.
But if you like it louder, and/or you want to play it safe, you'd be better off with 8 ohm speakers with sensitivity closer to 90db.
About 15 years ago, Marantz receivers were known for having robust power supplies.
However, in 2017 Marantz was bought by a conglomerate that also owns Denon and Onkyo. I have no idea how their current receivers' hardware is, if they've adopted cost-cutting measures by using smaller/lighter/weaker power supplies while hyping cheap electronic bells and whistles to sell. It does seem like receivers from the early to mid 00s weigh on average 8-10lbs more than today's models.