Not completely dead, but yeah, for the vast majority of users who are not very technical, they are dead (and unsupported). I, personally, still use Reddit is Fun daily, so the API price hike didn't change anything for me, so far. It just required a patch with ReVanced Manager and providing your own API key via a text file.