As, other than looking at the source code of `package-activate-1`, I am unable to find what it

means to 'activate a package', and similarly I am unable to find what `package-enable-at-startup`

does exactly at startup (well, its docstring says that it should make installed packages available

Emacs starts, but despite not being sure what 'available' means here, it looks like at least it does

not 'activate' all installed packages).

So I was trying to inspect what happens in the `normal-top-level` function but, when jumping to

its definition and changing it, it seems to have no effect (I have also

deleted the startup.elc file. And, as I don't know exactly if native compiled files get priority over byte-compiled files, I have also tried with an Emacs without native compilation, I am hoping to understand such things at some point).

Anyway, my question is if you have some advice on how to 'inspect' the `normal-top-level` function.