いや、真面目に言うと、2017年頃の経緯を調べるのが大変である。

いうて調べられるのでGithubはエライのであるが、誰がどんな意図で今のコードを錬成したのかわからないと、たいへんいじりにくいので、頑張って調べなければならない。

やっとわかったので、修正することにする。