The best way to use this text file is to do the following steps:

1.   Select the desired section.
2.   Copy it with diamond copy.
3.   Press F5 for Find.
4.   Paste select with diamond paste.
5.   Finally, press enter to find.

If the initially find is wrong, press F5 then Enter.