ページ名の変更

コメント/Mantisの名前を変更します。