5ch redirect https

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

Ili estas versioj de tiu ĉi skripto, kie la kodo estas ĝisdatigita. Montri ĉiujn versiojn