It attempts to be complete, but the tool is under continuous development, and so there may be some slight di erences between the documentation and the actual program. In case of discrepancy, the sources of the tool are the nal reference. A README or CHANGES le may be provided, and can also give some hints as to things which have changed. In case of doubt, these les or the sources are authoritative.