A simple extension that adds a timer that saves the current document every three seconds.