https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/Cornell.xml
<!-- There is a bucket at https://s3.amazonaws.com/arxiv.org/
-->
<ruleset name="Cornell University (partial)" platform="mixedcontent">
<target host="arxiv.org"/>
<target host="static.arxiv.org"/>
<target host="www.arxiv.org"/>
<target host="cornell.edu"/>
<target host="*.cornell.edu"/>
<target host="www.cs.cornell.edu"/>
<target host="www.library.cornell.edu"/>
<target host="topeka.ccmr.cornell.edu"/>
<securecookie host="^(.*\.)?cornell\.edu$" name=".*"/>
<!-- cert !valid for www -->
<!-- Arxiv doesn't want this rule active by default yet, and in any case
it ought to end up in its own rule. -->
<!-- <rule from="^http://www\.arxiv\.org/"
to="https://arxiv.org/"/>
<rule from="^http://arxiv\.org/(css/|favicon\.ico)"
to="https://arxiv.org/$1"/>
<rule from="^http://arxiv\.org/icons/"
to="https://s3.amazonaws.com/arxiv-web-static1/icons/"/>
<rule from="^http://static\.arxiv\.org/"
to="https://s3.amazonaws.com/arxiv-web-static1/"/> -->
<rule from="^http://(topeka\.ccmr\.|(www\.)?(cs|library)\.|www\.)?cornell\.edu/"
to="https://$1cornell.edu/"/>
</ruleset>