They say, not doing anything with Linux’s source code other than mentioning its existence.