20220909

7月ぐらいから繁忙期という感じだったけど、ようやく一段落ついたっぽい。たぶん。