deleted themes lookup tool (bug 857321)