For anyone who is interested, I finally have the comments feed working properly again. Sorry about that. I wish I could integrate comments in with the main feed, considering that there are so few of them in general, but there doesn’t seem to be an easy way to do this in WordPress without some considerable code hacking.