Minimap for web pages

https://larsjung.de/pagemap/

web