using codemirror for new/edit
checkpoint
done with using codemirror
minor; dup removal
fix size of welcome elements
fix /exec for firefox
rm trace
back to post