A demo of the new editor for flasheet.io