> 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