> https://www.raspberrypi.org/forums/viewtopic.php?t=144692
Ha! Thanks! I wasn't aware there are ARM builds already - I specifically checked the TDE web page 
before posting and didn't notice anything on the topic. I'll try it out tomorrow, see whether 
things Just Work in the latest Debian.

Janel