Exploring GUI auto-update for issue #6, also thinking about giving the user more feedback on fetch() and pull()