3 ms·

Google also bought copies of each book, I believe, which makes it another step removed from standard ML practice.