I have rewritten the deviation-manual history in order to remove all NOP commits from TravisCI as well as improve auto-commit descriptions.
The result is that we cut the total # of commits in half, and it is a lot easier to tell what changed when.
The downside is that it requires anyone with a clone to reclone from scratch