Miner textual fixes.
Rework form specification chapter.