tutorial: (Python + Javascript)
    Added JS function "set_saved_status", which can activate and deactivate
    the save button.
    Modifying the text field now creates a Save timer which takes 10 seconds
    to elapse, then auto-saves the field.
    The save button is only enabled if the text has been modified since
    saving.