Раньше использовал плагин
Highlighter, к сожалению в новых версиях Firefox (3.6 и выше) он не работает. Ctrl+F знаю, но неудобно, дополнительно много лишних действий, а хочется подсвеченный результат поиска сразу и немедленно.
Никто не видел замену Highlighter? Яндексбар и т.п. - фтопку. В идеале хотелось бы аналог Оперного highlighter.js.