internal/v4: add forgotten comment from PR #210
Merge pull request #211 from rogpeppe/093-add-forgotten-comment

internal/v4: add forgotten comment from PR #210

Forgot to write the file before pushing.