Weglot incompatible with betterdocs

Dear weglot support team,

It is already sure that we will use weglot for our new wordpress-based webseite to offer multiple languages. During my testings a questions arise that I could not solve right now:

We are using another plugin called “betterdocs (https://betterdocs.co/)” to provide a user documentation to the customers.
This “better docs” provide his own search functionality but this is search does not show the translated pages. It shows only the “original language”.
On the other hand if I use the build in search function of wordpress the results contain also the translated pages.
(I know I have to enable the search in weglot that wordpress can use it. I did this.)

Do you know how difficult it is to change such a custom search functionality to search in the “translated strings” instead of the original ones?

I already looked at the betterdocs plugin code and I think I found the shortcode with the search.
https://cloud.datamate.org/f/4cd6a21d406549c8961f/

Might it be enough to change the args of the search function?
Best regards
Christoph

The page I need help with: [log in to see the link]