True, not bothering with CG is maybe harsh. I gave up doing it years ago, though, simply because Mam Tor fitted our routes with (IMO) better trails. But if its one or the other, I’d always choose Rushup to Mam Tor.
From the descriptions, our further route has come back to me – once you’re at Hollins, we used to carry on over the next ridge ascent / descent and at the junction in the next col, turn right, back on yourself and follow it to a gate, through onto a rocky / (usually) wet track onto a farm track which will take you past Lose Hill Hall into C’ton. Similar to descents from Hollins IIRC but the extra ascent / descent on Mam Tor ridge is also fun.