If you didn't happen to notice this is a live editor (you can make any changes you'd like), with live documentation. You can paste an existing file to get help

If you didn't happen to notice this is a live editor (you can make any changes you'd like), with live documentation. You can paste an existing file to get help information, or write a new one live in the editor.