Minor cleanup; include documentation as AsciiDoc in Git package.

Numerous speedups, plus Unicode identifiers.

Updated release with accumulated changes.

First binary release.