No matches were found for subject:"\[dolphin\] \[Bug 246288\] dolphin does funny things when trying to view a packed file with the wrong extension"