'Ext/service/GitHub Extension Installer' の第1 areaeditの編集