I’ve just implemented a few (overdue) search results enhancements & fixes. In no particular order: Search result selections (ticking the box next to the title) used to get forgotten when viewing a document.  The same problem applied to hidden documents…