bug#67005: 30.0.50; improve nadivce/comp/trampoline handling

[Eli Zaretskii]

> Cc: Jens Schmidt <jschmidt4gnu@vodafonemail.de>, 67005@debbugs.gnu.org
> From: Andrea Corallo <acorallo@gnu.org>
> Date: Fri, 17 Nov 2023 15:37:17 -0500
> 
> We should add those good ideas into some TODO list to keep track of
> them.

Please use etc/TODO for this purpose, adding a section there about
improvements in native-compilation stuff.  (There is already one such
item there, it should be moved to this new section.)

Thanks.