New file doc/spec.txt.