For the end credits, I have a suggestion.
On Disney+, after the main credits finish, there’s this sequence of additional credits (for the voices of the international dubs) without music, and with simple text. Why not take that concept and utilize that for the people that helped you out with Revisited?
(The reason I asked is, I wanted to see if it was possible to keep the original theatrical pacing of the end credits, without putting in additional music or repeated segments, while at the same time still being able to put the names of the supporters and additional help)