ページ名の変更

Ext/old/other/Regjumpの名前を変更します。