Distributions defined in Turing: is the plan to keep them here?

[DominiqueMakowski]

I recently spent some time looking for OrderedLogistic, assuming that it was in Distributions.jl, but actually it was defined directly in Turing

https://github.com/TuringLang/Turing.jl/blob/4766fdde20ca9502472afcb991bd05f984d3ad35/src/stdlib/distributions.jl#L147-L168

Out of curiosity, is there a reason not to move these distributions to Distributions.jl where their documentation might benefit from increased visibility?

[devmotion]

IIRC I moved a few of them (quite a while ago), and my impression has always been that they should be moved if they are of more general interest.

[yebai]

We are happy to move more distributions in this repo, and also DistributionsAD to Distributions.jl, particularly the autodiff rules currently in DistributionsAD.