An SVG filter editor written in SVG+JS