I don't think that this should be a change to the core RSS feed, most likely the majority of the RSS subscribers have adopted to it in its current state.

However I do think an alternate RSS with this change is merited and would be highly beneficial.