Thanks to Zdzisław Janczak from GB Soft (the Polish representative of LizarTech) it is now known that the problem is caused by the cooccurence of the highlight parameter and the page reference in the form of a file name. Referencing the page just by the page number seems to work in all cases.
It would be there good to be able to control somehow the form of the page reference created by "Copy URL". Best regards JSB -- , dr hab. Janusz S. Bien, prof. UW - Uniwersytet Warszawski (Katedra Lingwistyki Formalnej) Prof. Janusz S. Bien - Warsaw University (Department of Formal Linguistics) jsb...@uw.edu.pl, jsb...@mimuw.edu.pl, http://fleksem.klf.uw.edu.pl/~jsbien/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org