[uryga]

What threads do you mean? (The only thing that comes to mind is HoTT stuff, but that's kind of over my head for now)