Benjamin W. Bohl

if we're all 100% to deprecate leaflet then yes.

```bash find . -name '*leaflet*' ./resources/leaflet-1.0.0-b1 ./resources/leaflet-1.0.0-b1/leaflet.js ./resources/leaflet-1.0.0-b1/leaflet.css ./resources/leaflet-1.0.0-b1/leaflet-src.js ./resources/leaflet-0.7.3 ./resources/leaflet-0.7.3/leaflet.js ./resources/leaflet-0.7.3/leaflet.css ./resources/leaflet-0.7.3/leaflet-src.js ./resources/Leaflet.tooltip-master/dist/leaflet.tooltip.js ./resources/Leaflet.tooltip-master/dist/leaflet.tooltip.css ```

```bash grep -R "leaflet" app/* app/view/window/source/MeasureBasedView.js: if(image_server === 'leaflet'){ app/view/window/source/MeasureBasedView.js: if(image_server === 'leaflet'){ app/view/window/source/MeasureBasedView.js: if(group.measures[0]['path'] != viewer.imgPath || image_server === 'leaflet') { app/view/window/source/MeasureBasedView.js: if(image_server === 'leaflet'){ app/view/window/source/PageBasedView.js: if(image_server === 'leaflet'){...

https://github.com/Edirom/Edirom-Online/blob/8111bd7c2db3a79be3bd0f280b3c6885c7a13f17/add/data/prefs/edirom-prefs.xml#L28

https://citation-file-format.github.io

fetch contributor names over github api

The GitHub repo is archived and published through Zenodo at [10.5281/zenodo.5347861](https://zenodo.org/doi/10.5281/zenodo.5347861). This is a good start, nonetheless I think there is room for improvement: - [x] Add the all version...

> > ``` > > * [ ] Add the release-specific DOIs to all Releases published at Zenodo > > ``` > > Isn't that fulfilled by default? All versions...

connected to #381

> Why is there a title attribute in the first place? It brings no additional information and is not intuitive. It adds a hover title when hovering over an attribute...