External collection items not counted in the parent collection in websearch

[Theodoros Theodoropoulos]

Hello all, I'm not sure if anyone actively uses externally hosted collections, but I verified that items in such collections are not counted in the parent collection(s) in websearch. I'm not interested in nested external collections (I think that this is impossible anyway), I just want to have a proper sum of records even if the (first) child collection is external. See the attached image for an example. The 'external' server is also an invenio instance and everything else works properly. Is it possible to make this work? Should I create a ticket? Cheers, Theodoros