Leaky-bucket mechanism for soft-TODOs#2

nedtwigg wants to merge 1 commit intomaindiffplug/mouseterm:mainfrom

feat/soft-todo-leaky-bucketdiffplug/mouseterm:feat/soft-todo-leaky-bucketCopy head branch name to clipboard