viewers such as evince when ebnf-production-name-p is nil. Fixes: debbugs:15625
Attach a file by drag & drop or click to upload