Manpages of spectre-meltdown-checker in Debian testing