Diff retext-8.0.0 with a retext-8.0.1

Thank you!