Fix "an plugin" -> "a plugin"

Fixes Bug 700422.
remove redundant "FIXME: is this true? (no invariant, no front, no back?)"

Fixes Bug 737918
Bump TOC plugin version to 1.0.0