ページ名の変更

Ext/old/bars/real-fox extensionの名前を変更します。