* shells/Shell_extra.tex.nw: new