Hello, and thank you for your response. In fact, it turns out
that the problem is now solved thanks to a developer who "changed
the method of calling the help files". I don't know exactly what
that entailed, but it does not involve anything on the RoboHelp
side.
(Meanwhile I was following the advice given in the preceding
message, but they don't need me to fix anything anymore. Still, it
was a learning experience! Thank you anyway.)
RCE