Being a bit busy at the mo (and maybe a little lazy) can anybody tell me 
if there are significant differences between TDE for Debian & Devuan? If 
I were using Debian Stretch _without_ systemd, which would be the better 
choice of TDE install?

Cheers,
Mike.

-- 
Mike Howard