ちなみにTootdonがFTLからLTLを取得する仕組みになっていて、LTLのないFedibirdからLTLを抜き出すという荒技をやってのけていた（対策してあるけど）