This is Tomáš Fajtl's comment archive. Once they start to comment, you can track their discussions here.