Updates abstract.txt to match abstract.tex.