Ah, but first of all thanks for taking care of this! If you or anyone else has changes/additions to contrib.texi, please do not hesitate to propose these! Gerald