Document the use of the 'vennt.py' script