Added rudimentary spelling checker (not yet realtime).
Doc updates.