Really, what do you think the issue could be? The facet plugin is simply referencing any CPT’s registered on the site, we’ve not had any problems with it on any of the other sites we’re using it on.
As previously explained in emails to you, we do not want a separate document search, they need to be included as part of the general site search, so we can’t use the search widget add on.
Cheers,