Go executable size 📐

This article about the size of compiled Go binaries is very comprehensive.

There are some design choices and we must discuss if they are the correct ones…