ページ名の変更

Ext/old/developer/jshellの名前を変更します。