...regardless of whether they have a `.py` or `.pyi` extension. This is important for (e.g.) executables with a shebang. See discussion in #1509.