texdoc
texdoc copied to clipboard
Considering document creation dates in scoring
It might be useful to take the creation dates of documents into account in our scoring scheme. The information can be taken either from the mtime of file systems or the CreationDate field of PDF metadata.
The idea originally came from #71.
Maybe not for scoring, but for ordering the final result.