Modify OtherStuff/toDo.txt
Note that Google search does not work on the NIST site and how it
might be fixed.  Add a bug about no way to NOT have a space after a
LaTeX-like command.  Reformat previous Log lines.