(file moved to doc/README)
