Works nice and fixes broken media search

Very simple plugin that does the job.

Update?:?my media search was broken and I did not know why (there was no found when I tried a search) – since some years. I just read on a blog that this plugin fixes the problem and that’s true. Great.