conform to the official dissertation formatting rules
record some feedback on related work chapter
code hygiene: relabel this renamed section
minor cleanup in symmetric lenses chapter
record a comment about the introductory writing on performance
eliminate overfull hboxes in symmetric lens chapter
minor cleanup
fix this overfull hbox in a better way
checkpoint
ignore a warning that pulp used to mark as boring
more readable formatting in pulp config
make pulp-loop's watch headline more readable

In pulp-loop, we now pass filenames instead of environment variable
names to the watch command. This means that instead of the non-specific
header line
Every 2.0s: inotifywait -qqe close_write "$LOG" && pulp "$LOG"
which doesn't say which file we're watching, we get instead the
more-specific header line
Every 2.0s: inotifywait -qqe close_write "paper.log" && pulp "paper.log"
or whatever the file actually is.