El problema es que al duplicar el tamaño, lo que antes valía un pixel, ahora valdrá cuatro. En fin, si te fijas creo que el mini de Red allí tambien tiene ese problema.
Al "redibujarlos" quedan con más definicion; pero dudo que exista algun programa que haga algo asi por ti, ya que no sabría donde duplicar y donde no los pixeles en cada imagen que le pongas.

No creo que alguien lo haya hecho, o, almenos, alguien de wah. ¡Saludos!