(The problem seems to be due to a recent Debian change that adds a symlink for the docs, which conflicts in Ubuntu with a docs symlink created some years ago. Packagers are investigating...)
(The problem seems to be due to a recent Debian change that adds a symlink for the docs, which conflicts in Ubuntu with a docs symlink created some years ago. Packagers are investigating...)