Hmm, the ROM I saw must not have had Manilla at all. There was no programs tab any more. I think I confused 6.5 as a replacement for TF3D, when instead I think Titanium is - and just because you have Titanium does
not mean you can't also have Manila. Do I have it right?
I've pretty much dedicated today to getting my phone STABLE, and also finding great new ways to automate flashing

This is fun! I really ought to be unpacking my apt. though...