===> Cleaning for gnatdoc-25.2.0