4 ms·

if that happened today, they might, but until three years ago, APIs were not copyrightable. Or at least not thought to be by most developers.