\# Generated by licence.pl from LICENCE. \# You should edit those files rather than editing this one. \define{shortcopyrightdetails} 1997-2020 Simon Tatham
