@round There are quite a few browser extensions that have taken over this job, eg https://chrome.google.com/webstore/detail/rss-finder/ijdgeedipkpmcliidjhbemmlgibfnaff