Show part of the document ID for the pages found
Review Request #129364 - Created Nov. 9, 2016 and submitted
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.
Compiles, the short name is shown in the search results.