j: Next unread message
k: Previous unread message
j a: Jump to all threads
j l: Jump to MailingList overview
Serhiy Storchaka storchaka@... writes:
The first column is the searched pattern. The second column is the number of found matches (for control, it should be the same with all engines and versions). The third column, under the "re" header is the time in milliseconds. The column under the "str.find" header is the time of searching without using regular expressions. It would be easier to read with a constant number of digits after the comma, so that numbers are better aligned.