[tor-commits] [tor/master] prob_distr: Better document our public API.