Hi Petr, thanks for these updates. It looks like your feed has moved to http://web.mornfall.net/blog.rss and I don't see a darcs-specific one - ok to use this for planet.darcs.net ?