Is there a working RSS feed that corresponds to the 9fans mailing list? The
gmane feeds seem to be at least a few weeks behind, and the
groups.google.com feeds, to the extent they exist/work at all, are even
more out of date (on a side note, is groups no longer being synchronized
with the mailing list?). Any suggestions would be appreciated. Thanks very
much.