Update Manual-thumbs.tex