Update texnotes