In-browser video editing toolkit, with effects accelerated by WebGL