You're probably right. Now I recall reading about kernel.org being hacked.