Man pages matching name debian::manpages::libpuzzle in section 3: