Manpages of src:libcpuid in Debian experimental