book_updates.php: RSS highlights are actually highlights now. Proper MIME-type header.