16 ms·They also did that with Scholze in 2018.by Rerarom 4y agoThey also did that with Scholze in 2018.macintux 4y agoMakes sense, it’s a big investment to write such a detailed, quality article.