枯れ木も山の賑わいと思っていましたが、フォローしている人向けのリプでも、メンションに該当botが含まれないスレッドの場合には割り込まないようにする時が来たかな