RSS feed

There is now a nice little RSS feed here. It is generated by PHP and MySql, reading from the same database that the main page is reading from, but reformatting it into XML. Perhaps this would be a good thing to put in a footer...