Tips From Paul Mc Kenney  If you have a favorite text editor,
you can use it as follows:    1. If the page already exists, cut
it from the WikiWikiEditBox?.   2. Edit it in the comfort and
convenience of your favorite editor.   3. Paste the new text
back into wiki.  Ironically, at one time, this page contained an
example of one downfall of using a separate text editor for
editing WikiPages. Some text editors will convert the single
quote preceding a word to the ` character (a reversed quote).
This can cause problems when using quotes to format text for
Wiki. This apparently occurred on this page, as words that were
meant to be italicized looked like this: ``italicized text'',
which is parsed incorrectly. -- BrentNewhall  If you see a neat
effect in one of the pages, and wonder how they did it, just
invoke EditText on that page. You can always just leave the page
without modifying it. You can also make a list of definitions on
your home machine. Unfortunately, I have not figured out how to
make perfectly verba