#2 Add a search/find feature

[Nobody/Anonymous]

Logged In: YES
user_id=8293
Browser: Mozilla/4.76 [en] (X11; U; SunOS 5.7 sun4u)

We really should add a search/find feature that lets
you search through the displayed text for specific
strings and patterns. This would make it much easier,
for example, to jump to a particular method and see
what's happened there.

As a related idea, we should probably add a "Goto line"
feature so you can jump to a particular line number.

That then suggests that we should be able to optionally
display line numbers.