Manpages of science-logic in Debian testing