5ちゃんねるドメイン変更対応って

・内部で5ch.netを5ch.ioに書き換え
・5ch.ioを5ちゃんねる板扱いに変更

の、どっちの処理をやってるんだろう
なんとなく前者のような気がするけど