New run_sext_final.py, plus updates to reduction notes and to obsinfo.txt