it addresses an issue that
some people may not know about, so maybe it would be good to briefly
explain further?
I agree, thanks. I changed the text to look like this:
By default, the Make rules should compile and link with @samp{-g}, so
that executable programs have debugging symbols. Otherwise, you are
essentially helpless in the face of a crash, and it is often far from
easy to reproduce with a fresh build.
Best,
karl
