The only reason I am asking is because you can use a darkmode cheat so that your system menu is themed dark. Mocha is slower so id rather not use that personally.I don't think he would do that, that's all the reason CBHC is not Mocha : faster firmware patch at boot with minimalist features.
if you need Mocha, you can edit CBHC autoboot setting to launch Mocha automatically instead of using CBHC patches.