I have just watched this again https://www.youtube.com/watch?v=yn-l2-GHos8 , where a Widget Editor is shown off (11:30)... Is this editor still in the making and will it eventually be released, or are we going to be encouraged to use an external editor?