update fetch instructions for genextdoc.py file