While doing some profiling for #2900, I noticed that RefreshFeed is always detecting the format of known feeds when refreshing them, instead of having their format stored in the database:

I might try to implement this next year.