Squashed 'gloseval/' changes from 61fc68d..a0f985f

a0f985f Add backup commands
0cd1d08 Change static to fetch files
e9db91b Made read call sites consistent with new signatures
6826e07 Use positional placeholders for workaround to issue 110
dfb1e62 Use exactly the same query to cancel until issue 100 is resolved
8071910 Force UID to be interpreted as a literal
30c777d Fix cnxn type
8f290b2 Try to work around bindings bug
55b5222 Add debugging
9c6d26a Fix typo around end of list
1b75a1a Cast to right cnxn type
1a90eb7 Replace ground terms for new and old with functors
8c8e6b6 Change labels on posts to include flag to say whether it has been read

git-subtree-dir: gloseval
git-subtree-split: a0f985fefe3a5150e7c981b41e619c494c3075a7
okay