Diff ppxlib-0.23.0-r1 with a ppxlib-0.24.0

Thank you!