Moved some specs from documentation to specification files.