In this repo : https://github.com/arzwa/IncBetaDer, @arzwa implemented a fews years ago the necessary gradients for beta_inv and beta_inv_inc. Defended on this discourse, required on this one but also to allow fitting multivariate students in Distributions.jl, I think that these derivatives should definitely be part of SpecialFunctions's Chain rule extension.