Marco Ciotola

Results 9 issues of Marco Ciotola

Two rendering issues (probably related) in [cond-mat/0204099](https://www.arxiv-vanity.com/papers/cond-mat/0204099/) * One formula goes over the right margin * Two formulas are written over the text Probably related to #505 Tested both on...

Ciao! Grazie per la versione italiana :) Nel wordle originale il tasto condividi copia il testo e poi lascia incollare all'utente dove vuole, mentre usando la tua versione oggi per...

Support `JCSDK` env var to choose which SDK to use. `JCSDK` env var, if present, is checked against a list of enabled JavaCard SDKs. The names of the SDKs correspond...

### Checklist - [x] I'm reporting a bug unrelated to a specific site - [x] I've verified that I have **updated yt-dlp to nightly or master** ([update instructions](https://github.com/yt-dlp/yt-dlp#update-channels)) - [x]...

bug
triage

When adding refs for various objects, I now commonly find them both in QR/Barcode and in text. As they are often long strings, it would be quicker and less error-prone...

I really like the app remembering the set of values selected when inserting multiple nodes with the same tags. It would be valuable to allow saving them as local custom...

Hello, can you include a waiver in the license for reuse in OpenStreetMap? https://osmfoundation.org/wiki/Licence/Waiver_and_Permission_Templates Additional license doubts: https://community.openstreetmap.org/t/is-globalbuildingatlas-properly-licensed-and-crediting-openstreetmap-as-a-source/136177/7

## What did you search for? 1. https://nominatim.openstreetmap.org/ui/search.html?street=Via+Galuppi%2C+221&city=Burano 2. https://nominatim.openstreetmap.org/ui/search.html?street=San+Martino+Destra%2C+221&city=Burano ## What result did you get? 1. https://nominatim.openstreetmap.org/ui/details.html?osmtype=W&osmid=173218617&class=highway 2. https://nominatim.openstreetmap.org/ui/details.html?osmtype=N&osmid=1840614184&class=amenity ## What result did you expect? Both should result in...

Lately I find myself having to scan QRs from the phone browser more and more often. Sometimes I can save the QR image, other times I need to screenshot it....