Many thanks Andres.
I'm just wondering if you'd consider adding the auxiliary fields, since it's fairly small as feeds go (containing only a title, not the content). author and create_ts are standard RSS fields anyway, so the only non-standard data would be num_comments and points.
I could certainly get by with a batch fetch, but I suspect those few extra fields will save a lot of round-tripping, making users happier. (In this case, I'd be using Google's Ajax Feed API, so it would also cut the load from HNSearch's servers altogether.)
Either way, thanks for adding the IDs.