commenting useless part of expland_eldarica_compressed_bloc.mli to make doc gen shorter and clearer.