In #473 we decided it would make sense to make all distributions into Distributions.jl distributions. @WhiffleFish volunteered to do this - just making it an official issue. @WhiffleFish , when do you think you can have it done by?