Thank you very much Markismus, that will do. Do I need the stardict binaries to have PocketBookDic generate the stardict files? I would assume no, because time ago I managed
to convert hebrew dictionaries. But since then maybe I upgraded my linux distribution, or ended up mixing python modules of different versions installed with different tools, so that pyglossary was not working for me anymore. Turning to external help was in this case better than looking for a fresh system, or wasting further time in attemtp. Much appreciated!