<snip>
> Or, do I have to upgrade through trinity-v3.5.12 first -- somehow?
>
> Thanks in advance,
> Jonesy

The smoothest upgrade would be from 3.5.11->3.5.12->3.5.13.  Upgrading
straight to 3.5.13 would involve removing large amounts of TDE packages,
then reinstalling them manually due to the name change from *-kde3 to
*-trinity.

Tim