Re: Inferred function types in the *Help* buffer

[Andrea Corallo]

Mattias Engdegård <mattias.engdegard@gmail.com> writes:

> 1 juni 2023 kl. 13.35 skrev Eli Zaretskii <eliz@gnu.org>:
>
>> I thought we all agreed to leave it in comp.el.
>
> That's completely fine, but I got the impression that Andrea didn't want 
> that. Perhaps we are just talking past one another.

Yeah sorry, my fault, in light of this:

> I don't necessarily see the reason.  We will probably move to having
> native-compilation be the default, in which case comp.el will be
> loaded in the majority of sessions quite soon after startup.  So it
> doesn't make a lot of sense to try to move these out of comp.el.

I changed my mind and I'm fine also requiring everyone to load comp.el.
We can always change strategy afterwards if we see this is not optimal I
guess.

BR

  Andrea