RSS

Stream: new members

[Nigel Burke]

Hi, I am new to lean and learning a bit about it. I was interested in following updates to the mathlib in areas I know about. I see there is a #rss channel here that seems to report updates to mathlib. Is there a way to get this in an RSS reader?