Reinforcement learning for search over a financial-filings corpus: the dataset, the runs, and what the reward curves actually say.