Diff sedlex-2.5-r1 with a sedlex-3.0

Thank you!