The PS4 has been doing just fine - keeping pace worldwide with the Switch in it's 6th year. I think people are severely underestimating the power of a permanent PS4 price drop - which I think is coming real soon just in time for the holidays. Look at what the PS4 just did on Prime Day - all models lit up the Amazon charts. When the PS4 was $199 the previous 2 Black Fridays - Sony couldn't ship enough to keep up with demand. If they stock up this holiday season, have a decent bundle (God of War, Spider-Man, Horizon: Zero Dawn combos) - along with an extended $199 price point - it will sell boatloads in Q4 all the way through to PS5 release.
Sony already profited what they could, they should really give it a price cut at least until September end.
I know they needed these kind of profits this gen, but it's time to move on, PS5 is coming in just a bit more than 1 year, let the PS4 userbase increase as much as possible before it.