Added to personal/carl.el: ;; (global-set-key (kbd "C-<f6>") `todo-export-push)
Deleted from personal/carl.el: (global-set-key (kbd "C-<f6>") `todo-export-push)