Funny, the demo on that page doesn't work for me (mobile, FF), but the other two examples do (at least, I assume they're working correctly - a minimap with a gr

Funny, the demo on that page doesn't work for me (mobile, FF), but the other two examples do (at least, I assume they're working correctly - a minimap with a grey band for the viewer): https://larsjung.de/pagemap/latest/demo/boxes.html https://larsjung.de/pagemap/latest/demo/boxes.html https://larsjung.de/pagemap/latest/demo/text.html https://larsjung.de/pagemap/latest/demo/text.html