ordering by time highlighted would be nice in any case, but actually, for an RSS feed it is less important. at least some rss clients can tell me which entries are new or updated regardless of the date.