web interface: provide a link to RSS feed to be automatically picked up by browsers
web interface: refactor rss handling
WTF: unicode in branch names