LTLで話題に出てる人から先行ブロックされてた事が判明してしまって、気付かなければ良かったと悲しい気持ちになってる。
先行ブロックは悪いことじゃないんだけどね……。