Prune old jobs
Explain timed-out results
Update ratiocinator to output lowercase tag names