https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/OpenGL.xml
<ruleset name="OpenGL"> <target host="opengl.org" /> <target host="www.opengl.org" /> <securecookie host="^www\.opengl\.org$" name=".*" /> <rule from="^http://(www\.)?opengl\.org/" to="https://$1opengl.org/" /> </ruleset>