Manpages of src:cpplint in Debian testing