This is the software I now use to manage my to-do list.  It is
probably not useful or appropriate for anyone else.  If it's useful
for you, that's great, but I don't want to be contacted about it.

- Richard W.M. Jones, 2016-11-10