@Der Pepe (Hubzilla) ⁂ Thank you very much. I had missed the step of deleting the symbolic links, so the theme was still showing up in the admin interface :-) So that's taken care of.