*I recommend reviewing this with whitespace changes disabled.*
This change should have no user impact. I think the name "Pastelog" is
confusing, and we should call it something else.
Neither `git grep --ignore-case pastelog` nor
`git ls-files | grep --ignore-case pastelog` have any results after this
change.
1b8133cdd3
