2 ms·Scholze's comment is particularly interesting.by woopwoop 9y agoScholze's comment is particularly interesting.