But as it is setup right now, all these 3 doctypes are in the same index. Right? Shouldn't this be smarter and just search in the indexes that are needed? AFAIK, there is no case where we are searching all these 3 doctypes at once.