I noticed `Dockerfile` is listed as a file extension https://github.com/googleapis/synthtool/blob/59fe44fde9866a26e7ee4e4450fd79f67f8cf599/synthtool/gcp/templates/python_library/.github/header-checker-lint.yml#L9 Would it apply if the file name itself is `Dockerfile`?