#353 Have not-yet-functional GUI for undo breadcrumbs. They are not handsome. Getting them functional next.