Delete 00-post.tex