There's little point in having a skip-on-docs trigger if there's
no alternative, cf. the comment in validate.yml.