Diff gnatdoc-23.0.0-r1 with a gnatdoc-24.0.0

Thank you!