"
 I'm glad to be of help.  I swear by wikEd for searching and replacing in the edit window.  It's the best tool I've found for that by far.  I'll try your suggested workarounds above, and will see about changing the wording of the bug report.  By the way, is there a way to turn off all the colorful highlighting?  Sometimes I find it very useful, but sometimes it boggles my eyes and blows my mind.  ''''''''''"