Bookmarklets

Use this to get from an external page (a weblog post, say), to that item on Scintilla: Find in Scintilla

Select some text, then run this bookmarklet to find similar content in Scintilla: Similar content in Scintilla