The #tlaplus infrastructure has become a bookworm.