Daniel-Constantin Mierla writes:
Now happened with the name, but in the future one can think of something else, turning in a chaotic evolution, so we rather (and better) have it clear from this point of time, otherwise makes no sense to continue.
daniel,
rather than complaining, work on the goal that allows you to change the binary name and name used in the docs and scripts by changing MAIN_NAME in Makefile.defs.
-- juha