any interest in a pixelation filter?

[mreinstein]

I've implemented a pixelation filter for my in-progress game. Here is a screen shot of the pixelation level being updated in real-time:

If this is something we want, it's a pretty small shader.

[phoboslab]

Neat! I'd merge a PR.