summary.mdをアップデートした。ホスティング担当はGitHub pageだからgit pushしたあと、すみやかにホムペも 更新される。actionsにしたら、もちろん、そこも自動化できるけど・・まあそこまで...