Moreover, fix the linting issues (using `npx gulp lint --fix`) that are found by the new versions of the linting tools.
examples/