in my Debian install here, there are 46 completion files in
/etc/bash_completion.d, and only two have such a header, so this is
clearly not necessary, and probably a mistake because those files are
not really executables, but more like libraries.