Yes, exactly that. And personally, I'd make it a global option, but a per-feed option -- either in addition or instead of the global option -- would be fine wit

Yes, exactly that. And personally, I'd make it a global option, but a per-feed option -- either in addition or instead of the global option -- would be fine with me as well.