generated at
20221110

ついに GitHub に純正ファイルツリーが
前からあった...?
いつだかにオレオレツリーみたいな拡張を入れていた時代もあったが、ようやく...