images/lispy-convolute.gif: re-add