Before I cause issues: the use of 'UseGLSL=disabled' on Nvidia is basically a workaround. (it won't help ATI and other drivers) Once the cause of the lower performance in GLSL mode is found, GLSL performance should also improve, so in the long run you won't need this option. If someone updates appdb, add such a remark and don't just say 'set UseGLSL=disabled on Nvidia'.
