Evgeny Kotkov wrote on Thu, 18 Feb 2021 20:53 +00:00: > Daniel Shahaf <d...@daniel.shahaf.name> writes: > > > Thanks for checking. How about adding it somewhere, then? > > Yes, that will probably be useful. Would you have an opportunity to do so?
No.
