Michał Dobranowski

It seems to me that a logo with a transparent background would be much better (and more up-to-date, since that's what CF has now) and consistent with, for example, the...

[PIP 585](https://peps.python.org/pep-0585/): Starting from Python 3.9, we don't have to use `Dict` or `Tuple` from `typing`; instead, we have `dict` and `tuple`. [PIP 604](https://peps.python.org/pep-0604/): Starting from Python 3.10, we don't...

Prometheus quantile summaries

5

This PR replaces `prometheus_histogram` with `prometheus_quantile_summary` that uses DDSketch algorithm for maintaining pre-defined quantiles with relative-error guarantees.

Code caching produces incorrect output with Unicode characters

3

It seems that the caching mechanism treats different snippets containing Unicode subscripts (₀, ₁, ₂, etc.) as identical, leading to incorrect reuse of cached results. Here is a MWE: ```latex...

I have added `]'`, `]?`, and `]!` as operators, since they are used as [Data Lookups](https://lean-lang.org/doc/reference/latest/Type-Classes/Basic-Classes/#GetElem___mk).