@gung I noticed a pending synonym exponential-distribution -> exponential. I think this is trivially uncontroversial (given that our wiki excerpt for "exponential" explicitly says "exponential distribution"; I've just copied this excerpt into the smaller tag too). Maybe approve it? Actually I would suggest to make exponential-distribution the master name.