Yes -- they were the ones who suggested adding a license file here.