Instructions for GF_extendor.py