As discussed in #143 and #148 there is "moar Eigen to be had" and we have to move ahead of the 5.0.1 release to the current snapshot. Or at least so say @SteveBronder and @bgoodri.
So we plan to get 5.0.0 settled here, and then move on to 5.0.1+ which should hopefully be good enough for both stan and the rest of CRAN.