Three documentation checks before opening a pull request

When preparing a pull request with new code, updating documentation often gets delayed until review...