What the fuck. Does that mean alternative start menus (e.g. Stardock Start11) are provably faster & lighter on resources?

Not by virtue of that alone.

A choice of tech stack can never be enough to prove anything. It only establishes a lower bound on resource usage, but there is never and upper bound as long as while() and malloc() are available.