issue #1004 added a hook to delete preferences or files/pages/... when a...

... theme is delete