Show part of the document ID for the pages found

Extract the relevant part of the document ID (without the name of the
page) and show it before the name. The result of the man page indexer
already follows this pattern.

REVIEW: 129364