Analytic Combinatorics documentation progress