A tiny Emacs library for quick manipulation of textual checkboxes