Manpages of highs in Debian testing