Does it make sense to update onboarding.md and COLLABORATOR_GUIDE.md to permit using Travis results for doc-only changes instead of requiring the CI lite-pipeline job? If that would be permissible, that might smooth the workflow a bit for landing doc PRs. (For one thing, the doc PRs will be land-able without someone manually starting a CI job.)