I use Feedly as my rss aggregater. When I try to add the rss feed to Feedly, it doesn't find anything. I tried "https://community.intersystems.com/group/8046/feed" and "https://community.intersystems.com/group/8046" both.