5ch redirect https

5ch で https じゃないときにリダイレクトするだけ（2020年末には同じ目的で https-everywhere が対応したようなのでそれを推奨します）

These are versions of this script where the code was updated. Show all versions.