User:Subfader/PNG thumbs unsharp

https://bugzilla.wikimedia.org/show_bug.cgi?id=29659

PNG is the desired format for screenshots etc. but PNG thumbs are unsharp.

JPG thumbs of PNGs are sharper but blurry when you look close, but still better than unsharp PNG thumbs.