You may select a new search term and repeat your context+checked search.
Searches are not case sensitive, and you can use
in your queries.
Query type: context+checked
Query was: petrus
Here are the matching lines in their respective documents.
Select one of the highlighted words in the matching lines below
to jump to that point in the document.