simplified io for red-green (and in general). zeroes no longer get created
Revert "fix #136 -- Shortcut for some entries in Edit Menu are not shown". This clobbers copy/paste in derivations.

This reverts commit c5ea602708d603451e5f875004ec3cbc874dfa3b.