Hard luck! I’m using a slightly-modified FreshRSS installation, these days, and loving it: I previously used Tiny Tiny RSS which was okay, too, but the FreshRSS core team won me over on about day 10 of me trying it out when I found a fringe bug which only happens when (a) you’re subscribed to a feed that requires case-sensitivity in its GUIDs and (b) you’re using MySQL/MariaDB as the backend database… and they managed to fix it and roll it into their next new release, just a week or so later. Amazing team, and they’re always adding new and useful stuff to what’s already a solid RSS reader.