Rudolf Adamkovič writes: >> Any objections? > > With the existing imprecise names, "silent" (that talks) and "none" > (that exists), we should try for maximum precision to avoid further > confusion. Looking at your documentation, the word "discard" conveys > the meaning better than "ignore". It says that we actually "throw the > result away" for all intents and purposes, this time. Other than > discard, I found scrap, drop, ditch, swallow. Good idea. I also like "discard" better. See the updated patch.