@cuddly-architect-27013: I killed the travis job triggered by your doc-only change. Seems unnecessary.