Remove the installed copy of the docs

Keeping them up to date is annoying.
Fix check for if the first arg to log is a number
Fix assertion failure when deleting all lines

Lines need to be deselected before they're deleted, but new lines need
to be committed before they can be selected, so reorder things to
remove -> insert new line if needed -> commit -> update selection -> delete.