前の URL が使えないのは色々だるいので、下のようなリポジトリで github pages を構築してリダイレクトするようにした。
github pages なので、javascript 使うしか無いのがだるいけどこれはしょうがない。