So that I can put other doc-related stuff there without polluting the
root dir.

It's tiny anyway, no need to force people to include yet another file.

Closes #239

Much nicer than onKeyEvent

Courtesy of Joshua Maxwell

The complete.js script can now be dropped into any page

Signed-off-by: Jan Keromnes <janx@linux.com>

The latter strips newlines in IE9

Closes #211

Also solves a breakage introduced by the theming change.

Using normal replaceRange causes an infinite loop when replacing something
with a string that contains the original string.