From Bugzilla Helper: User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4) Gecko/20030922 Description of problem: There's no mechanism to delete a file from a theme. Even worse, if you do delete a file, the publishing mechanism puts it back. This means that once added, you can never remove anything from a theme.