Sorry, that was a mistake on my side. I mistook libjs-prototype for one of the packages which I installed from testing as its name was familiar. But that was because I read it in the other bug report.
I did replace the stable version with the unstable version, which is definitely different. Sorry for confusing you. Benedikt -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org