I have one additional observation: Any platform which supports HTML5 with WebGL must have source code shader support, as WebGL does not allow binary shaders.