chiark / gitweb /
redirect to https version only if $encrypted_only