Professional video editing powered by machine learning — all on the web.