Keep track of man pages that we already saw.