Adding the Find History into the registry and reading it back again was relatively trivial.
Then I had to take care of the case where the selected text for the search contained an end of line character. Since RichView’s search cannot span lines, I simply cut the selection back to the last character before the end of line.