In the end, I made my own timer, with a Raspberry Pi 3 and a photo-optically isolated relay board, and a schmitt gate to pull the pins low (off) if the Pi lost power. I installed a lightweight web server called Jetty, and wrote some java servlets to enable me to define "profiles" (groups of...