About those nice comment lines

Didn’t we tell you to change the RSS feed specified in dev_feed.php to your own choice of feed?