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