But wouldn't using a higher resolution texture be possible and/or using GLSL texture distortion(?) to make the textures sharper/blurrier possible as well?
You really don't understand how the shadows are made. It isn't as simple as 'changing the texture size' or 'distorting it in a magical way to make it look better'. He would have to rewrite the entire shadow rendering code.