Hm, ok, I guess it can stay in DocSearch, at least for now. If later I figure out a better pattern without performance issue, I'll move it.